Проблемы с рекурсивным общим типом в C#

Question

У меня есть код на C#, который компилируется как под моно, так и с компиляторами Microsoft .net, но работает только на моно. Сообщение об ошибке (новые строки, добавленные мной)

Unhandled Exception: System.TypeLoadException: 
Could not load type 'Hasse.Groups.Heavy.Product.PowerGroup`1' 
from assembly 'Hasse, Version=1.0.x.y, Culture=neutral, PublicKeyToken=null' 
because it has recursive generic definition. 

типа на самом деле имеет рекурсивную общее определение, так что мой вопрос: почему он работает с моно? [Код запускается и выдает ожидаемый результат]

Полный исходный код находится здесь: https://github.com/miniBill/Hasse

Уменьшенный код, который по-прежнему падает здесь:

public class Group<T> : IWrappableGroup<WrapperGroup<T>> {} 

public class WrapperElement<T> {} 

public interface IWrappableGroup<U> {} 

public class WrapperGroup<T> : Group<WrapperElement<T>> {} 

class MainClass { 
    public static void Main(string[] args){ 
     var ng = new Group<object>(); 
    } 
} 

Вот доказательство того, что он работает на моно: http://ideone.com/ZvA3I

Answer 1

Это вопрос known. Это может быть сообщено как ошибка компилятора.

http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-335.pdf (страница 129)

Что касается работы в Mono, есть несколько мест, где Mono работает «ломается», насколько спецификации обеспокоен.

(Recursive lambdas являются еще одним exmaple чего-то, что работает в моно, что не должны)