[mcs] Allows shadowing of probing pattern variables
[mono.git] / mcs / errors / cs0183-5.cs
1 // CS0183: The given expression is always of the provided (`U') type
2 // Line: 14
3 // Compiler options: -warnaserror
4
5 abstract class A<T>
6 {
7         public abstract bool Foo<U> (U arg) where U : T;
8 }
9
10 class B : A<int>
11 {
12         public override bool Foo<U> (U arg)
13         {
14                 return arg is U;
15         }
16 }