用途：解决 Axum 中函数无法注册为路由处理器、编译器报 Handler<_, _> is not satisfied（E0277）的问题。Axum 没有 handler 宏，函数需满足 Handler<T, S> trait 的 blanket impl，任一约束不满足都会整体报错，因此错误信息不指向具体原因。
主要能力：把该错误归为五类根因——参数不是提取器、body 提取器不在最后、返回类型未实现 IntoResponse、函数不是 async、future 非 Send；并给出对应修复。诊断工具是 axum-macros 的 #[debug_handler]，它把不透明错误改写为指向具体参数或返回类型的精确报错。
使用方式：在 axum 依赖中启用 macros feature，例如 axum = { version = "0.8", features = ["macros"] }；在报错的 handler 上加 #[debug_handler] 后重新编译，按精确错误对照决策树修复。若 handler 有 State<T> 参数，宏会自动推断状态类型，歧义时可用 #[debug_handler(state = AppState)] 显式指定。该宏在 release 构建下无效果，保留不影响生产性能。
适用场景：Axum 0.7 与 0.8 行为一致。限制与注意：不要把它当作路由 bug；#[debug_handler] 不能用于没有 self 的 impl 块方法，否则报 E0425；参数达到 17 个及以上时不存在对应 blanket impl，需合并为自定义提取器结构体。