c# - c#泛型图灵完备？

Question

可能重复：
C# 4.0 编译时图灵是否完整？

众所周知，C++ 模板元“语言”是图灵完备的。我想，C#（或Java）泛型不是（即你不能使用它们编写任意元程序）。

有人证明过吗？