Fix isSubType(A#X, B#X) not checking if A <: B

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/neg/subtyping.scala b/tests/neg/subtyping.scala
new file mode 100644
index 000000000..d7f849ddc
--- /dev/null
+++ b/tests/neg/subtyping.scala
@@ -0,0 +1,13 @@
+class B {
+  class X
+}
+class A extends B
+
+object Test {
+  def foo(a: A#X): Unit = {
+    return;
+  }
+  def test(): Unit = {
+    foo(??? : B#X);
+  }
+}