A fix for #4243.

No review.

1 files changed, 18 insertions, 0 deletions

diff --git a/test/files/pos/t4243.scala b/test/files/pos/t4243.scala
new file mode 100644
index 0000000000..e6c66faff0
--- /dev/null
+++ b/test/files/pos/t4243.scala
@@ -0,0 +1,18 @@
+
+
+
+
+object wrap {
+
+  trait DomainLike[@specialized(Int) A, +This <: Domain[A]]
+
+  trait Domain[@specialized(Int) B]
+  extends DomainLike[B, Domain[B]]
+
+  trait IterableDomainLike[@specialized(Int) C, +This <: IterableDomain[C]]
+  extends DomainLike[C, This]
+
+  trait IterableDomain[@specialized(Int) D]
+  extends Domain[D] with IterableDomainLike[D, IterableDomain[D]]
+
+}