Check @TargetNAME when subtyping Refined Types (#19081)

Closes #18922

Author: hamzaremmal

compiler/src/dotty/tools/dotc/core/TypeComparer.scala

@@ -2084,9 +2084,10 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
             ExprType(info1.resType)
           case info1 => info1
 
-        isSubInfo(info1, info2, m.symbol.info.orElse(info1))
-        || matchAbstractTypeMember(m.info)
-        || (tp1.isStable && m.symbol.isStableMember && isSubType(TermRef(tp1, m.symbol), tp2.refinedInfo))
+        m.symbol.hasTargetName(m.symbol.name) && (
+          isSubInfo(info1, info2, m.symbol.info.orElse(info1))
+          || matchAbstractTypeMember(m.info)
+          || (tp1.isStable && m.symbol.isStableMember && isSubType(TermRef(tp1, m.symbol), tp2.refinedInfo)))
       end qualifies
 
       tp1.member(name).hasAltWithInline(qualifies)

tests/neg/i18922.check

@@ -0,0 +1,7 @@
+-- [E007] Type Mismatch Error: tests/neg/i18922.scala:11:27 ------------------------------------------------------------
+11 |def test = doClose(Resource()) // error
+   |                   ^^^^^^^^^^
+   |                   Found:    Resource
+   |                   Required: Object{def close(): Unit}
+   |
+   | longer explanation available when compiling with `-explain`

tests/neg/i18922.scala

@@ -0,0 +1,11 @@
+import scala.annotation.targetName
+
+def doClose(closable: { def close(): Unit }): Unit =
+  import reflect.Selectable.reflectiveSelectable
+  closable.close()
+
+class Resource:
+  @targetName("foo")
+  def close(): Unit = ???
+
+def test = doClose(Resource()) // error

tests/neg/targetName-refine.check

@@ -0,0 +1,7 @@
+-- [E007] Type Mismatch Error: tests/neg/targetName-refine.scala:7:27 --------------------------------------------------
+7 |val x: T { def f: Int } = C() // error
+  |                          ^^^
+  |                          Found:    C
+  |                          Required: T{def f: Int}
+  |
+  | longer explanation available when compiling with `-explain`

tests/pos/targetName-refine.scala renamed to tests/neg/targetName-refine.scala

@@ -4,5 +4,5 @@ trait T:
 class C extends T:
   @targetName("f2") def f: Int = 1
 
-val x: T { def f: Int } = C()
+val x: T { def f: Int } = C() // error