another issue

Author: jchyb

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

@@ -921,7 +921,11 @@ class Inliner(val call: tpd.Tree)(using Context):
           sym.info = rhs.tpe
           untpd.cpy.ValDef(vdef)(vdef.name, untpd.TypeTree(rhs.tpe), untpd.TypedSplice(rhs))
         else vdef
-      super.typedValDef(vdef1, sym)
+      if vdef.name.toString.contains("$proxy") then // TODO look for a better solution
+        // AndType(t1, t2) might not equal &(t1, t2),
+        // but when constructing proxies we have to use AndType without simplyfying the types
+        vdef.asInstanceOf[Tree]
+      else super.typedValDef(vdef1, sym)
 
     override def typedApply(tree: untpd.Apply, pt: Type)(using Context): Tree =
       val locked = ctx.typerState.ownedVars

tests/pos/i22974/Maybe_1.scala

@@ -0,0 +1,14 @@
+package pack
+import Maybe._
+opaque type Maybe[+A] >: (Absent | Present[A]) = Absent | Present[A]
+object Maybe:
+  sealed abstract class Absent
+  case object Absent extends Absent
+  object internal:
+    case class PresentAbsent(val depth: Int)
+  opaque type Present[+A] = A | internal.PresentAbsent
+
+  extension [A](self: Maybe[A]) {
+    inline def flatten[B]: Maybe[B] = ???
+    inline def isDefined: Boolean = ???
+  }

tests/pos/i22974/macro_1.scala

@@ -0,0 +1,6 @@
+import scala.quoted._
+
+inline def passThorugh(inline condition: Boolean): Any =
+  ${ passThorughImpl('{condition}) }
+
+def passThorughImpl(condition: Expr[Boolean])(using Quotes): Expr[Any] = condition

tests/pos/i22974/main_2.scala

@@ -0,0 +1,6 @@
+object Test {
+  def main(): Unit =
+    import pack.Maybe
+    val res: Maybe[Maybe[Int]] = ???
+    passThorugh(res.flatten.isDefined)
+}