Merge pull request #3769 from evincarofautumn/fix-verify-before-allocs
[mono.git] / mcs / errors / cs1961-16.cs
1 // CS1961: The contravariant type parameter `T' must be invariantly valid on `B<T>'
2 // Line: 8
3
4 interface A<T>
5 {
6 }
7
8 interface B<in T> : A<T>
9 {
10 }