Fix opaque type implementations being exposed when in type params

Author: jchyb

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

@@ -538,6 +538,14 @@ object Types extends TypeUtils {
     final def foreachPart(p: Type => Unit, stopAt: StopAt = StopAt.None)(using Context): Unit =
       new ForeachAccumulator(p, stopAt).apply((), this)
 
+    /** Performs operations on all parts of this type, outside of the applied type parameters */
+    final def foreachPartWithoutTypeParams(p: Type => Unit, stopAt: StopAt = StopAt.None)(using Context): Unit =
+      new ForeachAccumulator(p, stopAt) {
+        override def apply(x: Unit, tp: Type) = tp match
+          case AppliedType(tycon, _) => super.apply(x, tycon)
+          case other => super.apply(x, other)
+      }.apply((), this)
+
     /** The parts of this type which are type or term refs and which
      *  satisfy predicate `p`.
      *

compiler/src/dotty/tools/dotc/inlines/Inliner.scala

@@ -399,7 +399,9 @@ class Inliner(val call: tpd.Tree)(using Context):
    *  type aliases, add proxy definitions to `opaqueProxies` that expose these aliases.
    */
   private def addOpaqueProxies(tp: Type, span: Span, forThisProxy: Boolean)(using Context): Unit =
-    tp.foreachPart {
+    val foreachTpPart =
+      (p: Type => Unit) => if (forThisProxy) tp.foreachPartWithoutTypeParams(p) else tp.foreachPart(p)
+    foreachTpPart {
       case ref: TermRef =>
         for cls <- ref.widen.baseClasses do
           if cls.containsOpaques

tests/pos-macros/i20449/Main.scala

@@ -3,4 +3,4 @@ class Wrapper1[A]
 val a = {
   getTypeInfo[Any]()
   val wrapper2 = Wrapper1[Any]()
-}
+}

tests/run-macros/i20449.check

@@ -0,0 +1,50 @@
+------ UserName.T - Directly -------
+Original: Main_2$package.UserName.T
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ UserName.T - Directly -------
+Original: Main_2$package.UserName
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ ForeignWrapper1[UserName.T] -------
+Original: Main_2$package.UserName.T
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ ForeignWrapper2[UserName.T] -------
+Original: Main_2$package.UserName.T
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ ForeignWrapper1[UserName] -------
+Original: Main_2$package.UserName
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ ForeignWrapper2[UserName] -------
+Original: Main_2$package.UserName
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ Wrapper1[UserName.T] -------
+Original: Main_2$package.UserName.T
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ Wrapper2[UserName.T] -------
+Original: Main_2$package.UserName.T
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ Wrapper1[UserName] -------
+Original: Main_2$package.UserName
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    
+------ Wrapper2[UserName] -------
+Original: Main_2$package.UserName
+Dealias: Main_2$package.UserName.T
+Dealias dealias: Main_2$package.UserName.T
+    

tests/run-macros/i20449/Macro_1.scala

@@ -0,0 +1,29 @@
+import scala.quoted.*
+
+class ForeignWrapper1[-A] {
+  inline def getTypeInfo(inline source: String): String =
+    ${ getTypeInfoImpl[A]('source) }
+  def createWrapper2 = ForeignWrapper2(this)
+}
+
+class ForeignWrapper2[-A](val self: ForeignWrapper1[A]) {
+  inline def getTypeInfo(inline source: String): String =
+    ${getTypeInfoImpl[A]('source)}
+}
+
+transparent inline def getTypeInfo[T](inline source: String) =
+  ${ getTypeInfoImpl[T]('source) }
+
+def getTypeInfoImpl[T: Type](source: Expr[String])(using ctx: Quotes) : Expr[String] = {
+  import ctx.reflect.*
+
+  val tpe = TypeRepr.of[T]
+  val str =
+    s"""|------ ${source.valueOrAbort} -------
+       |Original: ${tpe.show}
+       |Dealias: ${tpe.dealias.show}
+       |Dealias dealias: ${tpe.dealias.dealias.show}
+    """.stripMargin
+
+  Expr(str)
+}

tests/run-macros/i20449/Main_2.scala

@@ -0,0 +1,41 @@
+object UserName {
+  opaque type T = String
+
+  def apply(s: String): T = s
+}
+
+type UserName = UserName.T
+
+class Wrapper1[-A] {
+  inline def getTypeInfo(inline source: String): String =
+    ${ getTypeInfoImpl[A]('source) }
+  def createWrapper2 = Wrapper2(this)
+}
+
+class Wrapper2[-A](val self: Wrapper1[A]) {
+  inline def getTypeInfo(inline source: String): String =
+    ${getTypeInfoImpl[A]('source)}
+}
+
+
+@main def Test() = {
+  println(getTypeInfo[UserName.T]("UserName.T - Directly"))
+  println(getTypeInfo[UserName]("UserName.T - Directly"))
+
+  val foreignWrapper = ForeignWrapper1[UserName.T]()
+  println(foreignWrapper.getTypeInfo("ForeignWrapper1[UserName.T]"))
+  println(foreignWrapper.createWrapper2.getTypeInfo("ForeignWrapper2[UserName.T]"))
+
+  val foreignWrapper2 = ForeignWrapper1[UserName]()
+  println(foreignWrapper2.getTypeInfo("ForeignWrapper1[UserName]"))
+  println(foreignWrapper2.createWrapper2.getTypeInfo("ForeignWrapper2[UserName]"))
+
+  val wrapper = Wrapper1[UserName.T]()
+  println(wrapper.getTypeInfo("Wrapper1[UserName.T]"))
+  println(wrapper.createWrapper2.getTypeInfo("Wrapper2[UserName.T]"))
+
+  val wrapper2 = Wrapper1[UserName]()
+  println(wrapper2.getTypeInfo("Wrapper1[UserName]"))
+  println(wrapper2.createWrapper2.getTypeInfo("Wrapper2[UserName]"))
+
+}