理解语言规范中描述的C#类型推理的问题

这个 C# language specification 第7.5.2节描述了类型推断。其中有一个细节我不明白。考虑以下情况:

// declaration
void Method<T>(T obj, Func<string, T> func);

// call
Method("obj", s => (object) s);

Microsoft和Mono C#编译器都能正确推断 T = object ,但我对规范中算法的理解 T型 = string 然后失败。我是这样理解的:

• 如果Ei是匿名函数 显式参数类型推断 (§7.5.2.7)由Ei至Ti制成

  没有效果,因为lambda表达式没有显式参数类型。对吗?

• 否则,如果EI具有类型u和席是一个值参数,那么 从U到Ti。

  第一个参数是静态类型 一串 一串 ,对吧?

第二阶段

• 全部 不固定 键入不包含 依靠 (§7.5.2.5)任何Xj都是固定的(§7.5.2.10)。

  T型 T型 不依赖任何东西。。。所以 T型

• 候选类型集Uj从Xi的边界集中的所有类型集开始。

  一串

• 然后,我们依次检查Xi的每一个界:[…]对于Xi的每一个下界U,从候选集中移除所有类型Uj,其中没有从U的隐式转换。[...]

  不会从候选集中删除任何内容,对吗?

• 因为只有一个候选类型,这是完全正确的,所以Xi被固定为 . 对吗?