1 files changed, 16 insertions, 0 deletions
diff --git a/tests/objects/bug641418-3.test b/tests/objects/bug641418-3.test
new file mode 100644
index 000000000..3966df2e5
--- /dev/null
+++ b/tests/objects/bug641418-3.test
@@ -0,0 +1,16 @@
+Invalid Code
+
+class Foo<A,B> {
+}
+
+class Bar<A> {
+	public virtual Foo<A,B> f<B> () {
+		return f ();
+	}
+}
+
+class Baz<A> : Bar<A> {
+	public override Foo<B,A> f<B> () {
+		return f ();
+	}
+}