Add missing criterion to subtype check (scala#16889)

Fixes scala#16850
dotty-staging · Feb 15, 2023 · 006e2e4 · 006e2e4
2 parents 1a2615b + 2678e67
commit 006e2e4
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -309,6 +309,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
                 thirdTryNamed(tp2)
               else
                 (  (tp1.name eq tp2.name)
+                && !sym1.is(Private)
                 && tp2.isPrefixDependentMemberRef
                 && isSubPrefix(tp1.prefix, tp2.prefix)
                 && tp1.signature == tp2.signature

diff --git a/tests/neg/i16850.check b/tests/neg/i16850.check
@@ -0,0 +1,10 @@
+-- [E007] Type Mismatch Error: tests/neg/i16850.scala:7:33 -------------------------------------------------------------
+7 |  def add(elm: Y): Unit = list = elm :: list // error
+  |                                 ^^^
+  |                                 Found:    (elm : Y)
+  |                                 Required: Class.this.Y²
+  |
+  |                                 where:    Y  is a type in class Class
+  |                                           Y² is a type in trait Trait
+  |
+  | longer explanation available when compiling with `-explain`
diff --git a/tests/neg/i16850.scala b/tests/neg/i16850.scala
@@ -0,0 +1,10 @@
+
+trait Trait :
+  type Y
+  var list: List[Y] = Nil
+
+class Class[Y] extends Trait :
+  def add(elm: Y): Unit = list = elm :: list // error
+
+object Object extends Class[Int] :
+  add(42)