Check targetName when subtyping Refined Types

[Cherry-picked 7596819][modified]

Author: WojciechMazur

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

@@ -1989,9 +1989,11 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
 
       def qualifies(m: SingleDenotation): Boolean =
         val info1 = m.info.widenExpr
-        isSubInfo(info1, tp2.refinedInfo.widenExpr, m.symbol.info.orElse(info1))
-        || matchAbstractTypeMember(m.info)
-        || (tp1.isStable && isSubType(TermRef(tp1, m.symbol), tp2.refinedInfo))
+        m.symbol.hasTargetName(m.symbol.name) && (
+          isSubInfo(info1, tp2.refinedInfo.widenExpr, m.symbol.info.orElse(info1))
+          || matchAbstractTypeMember(m.info)
+          || (tp1.isStable && isSubType(TermRef(tp1, m.symbol), tp2.refinedInfo))
+        )
 
       tp1.member(name) match // inlined hasAltWith for performance
         case mbr: SingleDenotation => qualifies(mbr)

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