[mcs] Allows shadowing of probing pattern variables
[mono.git] / mcs / errors / cs1961-18.cs
1 // CS1961: The covariant type parameter `T' must be invariantly valid on `B<T>.A'
2 // Line: 8
3
4 interface A<T>
5 {
6 }
7
8 interface B<out T>
9 {
10         A<T> A { get; }
11 }