Switch to compiler-tester

[mono.git] / mcs / tests / gtest-157.cs

diff --git a/mcs/tests/gtest-157.cs b/mcs/tests/gtest-157.cs
new file mode 100644 (file)
index 0000000..f314b01
--- /dev/null
+++ b/mcs/tests/gtest-157.cs
@@ -0,0 +1,21 @@
+interface a <t> { void x (); }
+
+interface b <t> : a <t> {}
+
+class kv <k,v> {} // type t
+
+interface c <k,v>: b <kv<k,v>>,  // b <t>
+                   a <kv<k,v>>    // a <t>
+{}
+
+class m <k,v> : c <k,v>,
+                b <kv<k,v>> // b <t>
+{
+        void a <kv <k,v>>.x () {} // a<t>.x ()
+}
+
+class X
+{
+       static void Main ()
+       { }
+}