// Compiler options: -t:library namespace FLMID.Bugs.Marshal15 { public class A[T] { } public abstract class B { protected mutable _aux : A[bool]; } public class X : B { } public abstract class C { protected mutable _layout : B; } }