Fix hasMatchingMember handling NoDenotation

dwijnand · Jun 14, 2023 · 630ed04 · 630ed04
1 parent 5d2812a
commit 630ed04
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2021,7 +2021,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         || (tp1.isStable && isSubType(TermRef(tp1, m.symbol), tp2.refinedInfo))
 
       tp1.member(name) match // inlined hasAltWith for performance
-        case mbr: SingleDenotation => qualifies(mbr)
+        case mbr: SingleDenotation => mbr.exists && qualifies(mbr)
         case mbr => mbr hasAltWith qualifies
     }
 

diff --git a/tests/neg/i17581.check b/tests/neg/i17581.check
@@ -0,0 +1,7 @@
+-- [E007] Type Mismatch Error: tests/neg/i17581.scala:9:6 --------------------------------------------------------------
+9 |  foo(test) // error // was NoSuchMethodException
+  |      ^^^^
+  |      Found:    (test : Test)
+  |      Required: Object{def bar: Any}
+  |
+  | longer explanation available when compiling with `-explain`
diff --git a/tests/neg/i17581.scala b/tests/neg/i17581.scala
@@ -0,0 +1,9 @@
+import scala.reflect.Selectable.reflectiveSelectable
+
+class Test
+
+def foo[A <: { def bar: Any }](ob: A) = ob.bar
+
+@main def main =
+  val test = new Test
+  foo(test) // error // was NoSuchMethodException