1 files changed, 17 insertions, 0 deletions
diff --git a/tests/untried/neg/t5152.scala b/tests/untried/neg/t5152.scala
new file mode 100644
index 000000000..56df31ed4
--- /dev/null
+++ b/tests/untried/neg/t5152.scala
@@ -0,0 +1,17 @@
+object Test {
+  new C
+  new C1
+  new C2
+
+  class A[E[_]] { }
+  class B[E[_]] extends A[B] { }  // B is depth 2 but A requires 1
+  class C extends B { }
+
+  class A1[E[F[G[_]]]] { }
+  class B1[E[_]] extends A1[B1]   // B1 is depth 2 but A1 requires 3
+  class C1 extends B1 { }
+
+  class A2[E[_]] { }
+  class B2[E] extends A2[B2] { }  // this one is correct
+  class C2 extends B2 { }
+}