C#泛型与隐式转换场景下的重载决议规则疑问

你遇到的编译行为由C#规范中 重载决策 与 泛型类型推断 模块的规则明确定义，核心逻辑如下：

• 泛型方法的类型推断阶段，仅会使用C#内置的原生隐式转换（标识转换、引用转换、装箱转换等），不会纳入用户自定义的隐式转换作为推断依据。
• 对于泛型重载Do<TOut>(Func<Bar<TOut>> f)，编译器尝试推导TOut类型时，会检查lambda() => 1的返回值类型int是否可以通过原生转换匹配委托的返回类型Bar<TOut>：由于int到Bar<TOut>的转换是你自定义实现的，不属于原生转换范围，因此类型推导失败，该泛型重载会被移出候选集。
• 此时候选集中仅剩下非泛型重载Do(Func<Bar> f)，编译器尝试将lambda转换为Func<Bar>时，int无法转换为非泛型Bar类型，因此触发对应报错。

验证方式：你可以手动指定泛型参数绕过类型推断阶段，Foo.Do<int>(() => 1)可以正常编译，此时编译器会直接检查用户自定义隐式转换的合法性，不会触发错误。

内容的提问来源于stack exchange，提问作者Pavel Voronin