为什么不能全自动标注
- 隐式推导所有可能路径导致编译时间爆炸
a. 他只会按照标注的流验证其合法性，而不从可能的所有线索中推导，同时也显示声明了函数的期望。平衡效率 - 隐式推导的不确定性导致过度耦合
a. 标注是解耦合的协议，只在他的出入口验证，保证API不完全依赖外部隐式推导导致不确定的变动。而是在出入口定义期望，明确验证其正确性，保证函数语义明确，不隐式依赖外部导致内部的不确定性
手动可能会犯错，编译器会不会被误导？手动标注出错可能绕过安全检查吗？
手动标注是指明一条路径让编译器验证其合法性，其合法性本质还是由类型与所有权系统兜底，只是标注让编译器避免了对所有可能路径都探索选取最优的性能损失。
● API 不稳定：实现一改，推导结果就可能变，等于签名语义隐式变化
● 引入隐式依赖：调用方的可用性取决于函数内部细节，破坏解耦
● 分析成本不可控：控制流 + 路径 + 借用推理，编译复杂度和时间不可预测
● 破坏可读性：签名无法表达真实约束，必须读实现才能判断能不能用
● 不利于重构：纯重构（不改行为）可能变成 breaking change
● 难以组合：trait、泛型、跨 crate 推理会指数级膨胀
● 错误不可解释：失败原因来自隐式推导，用户无法定位和修正