blob: 1ca5c603d85ff1a2f4b8f80b15c070637167bf90 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// CS1961: The contravariant type parameter `T' must be invariantly valid on `B<T>.A'
// Line: 9
// Compiler options: -langversion:future
interface A<T>
{
}
interface B<in T>
{
A<A<T>> A { get; }
}
|