为什么用动态参数调用泛型局部函数会产生BadImageFormatException？

Question

玩弄C#7的Local Functions,我最终得到了一些有趣的行为.考虑以下程序:

public void Main()
{
    Console.WriteLine("Entered Main");
    DoSomething("");
}

private void DoSomething(object obj)
{
    Console.WriteLine("Entered DoSomething");
    Generic((dynamic)obj);
    GenericLocal(obj);
    GenericLocal((dynamic)obj); // This breaks the program

    void GenericLocal<T>(T val) => Console.WriteLine("GenericLocal");
}

private void Generic<T>(T val) => Console.WriteLine("Generic");

这会产生:

进入Main

......然后抛出一个BadImageFormatException: An attempt was made to load a program with an incorrect format. (Exception from HRESULT: 0x8007000B).堆栈跟踪:

   at UserQuery.DoSomething(Object obj)
   at UserQuery.Main()
   at System.Threading.ThreadHelper.ThreadStart_Context(Object state)
   at System.Threading.ExecutionContext.RunInternal(ExecutionContext executionContext, ContextCallback callback, Object state, Boolean preserveSyncCtx)
   at System.Threading.ExecutionContext.Run(ExecutionContext executionContext, ContextCallback callback, Object state, Boolean preserveSyncCtx)
   at System.Threading.ExecutionContext.Run(ExecutionContext executionContext, ContextCallback callback, Object state)
   at System.Threading.ThreadHelper.ThreadStart()

(我在LINQPad中运行它,但是我从dotnetfiddle得到了类似的结果.)

删除代码中指示的行会产生您期望的输出:

输入主要
输入的DoSomething
Generic
GenericLocal

有谁能解释为什么？

Answer 1

事实证明这是一个错误，但是当 dotnet 团队研究它时，他们意识到他们无法轻松修复问题，因此本地泛型方法将以非本地泛型方法的方式工作。因此，当您尝试执行此操作时，他们选择让编译器产生错误。

CS8322 无法将动态类型的参数传递给具有推断类型参数的通用本地函数“GenericLocal”。