```cs class C<T> { C<int*[]> Field; } ``` The compiler currently compiles this without complaint, lacking both `/unsafe` and an `unsafe` modifier on `C<T>`.