C#泛型接口约束下无法将实现结构体转换为类型T的编译错误

泛型约束where T : IMyInterfaceThing仅限定所有作为T传入的类型必须实现IMyInterfaceThing接口，不会将T和任何具体实现类型（比如代码中的MyConcreteInterfaceThing）划等号。
编译器必须保证泛型方法对所有满足约束的T类型都能安全运行，不会假设代码只会用某一个具体实现作为T传入。举个明确的反例：如果新增另一个实现IMyInterfaceThing的结构体OtherConcreteThing，调用方可以合法写AddItem<OtherConcreteThing>(...)，此时case 1分支会尝试把MyConcreteInterfaceThing实例赋值给OtherConcreteThing类型的变量，类型完全不兼容，属于确定性的类型错误，编译器拦截是完全合理的。
这段代码的核心问题是类型逻辑不安全：泛型方法的T由调用方指定，但方法内部硬编码要给T类型变量塞固定的具体实现，本身就违背了泛型的类型安全设计。

把方法内所有T替换为IMyInterfaceThing的写法确实能通过编译，但MyConcreteInterfaceThing是record struct值类型，赋值给接口类型引用时必然发生装箱：值类型实例会被拷贝到托管堆，产生额外GC开销和性能损耗，和避免装箱的需求冲突。

根据实际业务场景选择对应处理方式即可：

• 如果方法逻辑本来就只处理MyConcreteInterfaceThing这一种类型，没必要使用泛型，直接把方法内所有T替换为MyConcreteInterfaceThing即可，零装箱且类型安全。
• 如果必须保留泛型，且能通过业务逻辑100%保证走到对应分支时，传入的T确实就是MyConcreteInterfaceThing类型，可以用无装箱转换实现，需要引入System.Runtime.CompilerServices命名空间：

  MyConcreteInterfaceThing instance = new MyConcreteInterfaceThing();
  thingToPutIntoList = Unsafe.As<MyConcreteInterfaceThing, T>(ref instance);
  

  注意：该写法绕过了编译器的类型检查，如果运行时T与MyConcreteInterfaceThing类型不匹配，会引发内存错乱、数据损坏等严重问题，没有绝对把握不要用。
• 如果分支逻辑需要根据条件返回不同的IMyInterfaceThing实现，又要避免装箱，本质上不适合用当前泛型写法，建议重新设计逻辑，比如为不同T类型实现对应的实例工厂。

内容的提问来源于stack exchange，提问作者Stefan Hendriks