Завершена ли компиляция C #4.0 -во времени?

Существует хорошо -известный факт, что шаблоны C++ являются тьюринговыми -полными , CSS являются тьюринговыми -полными(! )и что разрешение перегрузки C #равно NP -жесткому(даже без дженериков ).

Но есть ли C #4.0 (с ко/контравариантностью, дженериками и т. д.)компиляция -time turing завершена ?