Merge pull request #11300 from dotty-staging/fix-11277

Let the info of opaque types always depend on the prefix

Author: smarter

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

@@ -2304,6 +2304,7 @@ object Types {
      */
     private def infoDependsOnPrefix(symd: SymDenotation, prefix: Type)(using Context): Boolean =
       symd.maybeOwner.membersNeedAsSeenFrom(prefix) && !symd.is(NonMember)
+      || prefix.isInstanceOf[Types.ThisType] && symd.is(Opaque) // see pos/i11277.scala for a test where this matters
 
     /** Is this a reference to a class or object member? */
     def isMemberRef(using Context): Boolean = designator match {

tests/pos/i11277.scala

@@ -0,0 +1,8 @@
+class Foo {
+  opaque type Num = Int
+
+  val z = Test.id(this)(1)
+}
+object Test {
+  def id(f: Foo)(x: f.Num): f.Num = x
+}