Make assigned types of inlined expressions InferredTypes

Otherwise we force purity where none might exist.

Author: odersky

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

@@ -596,7 +596,7 @@ class Inliner(val call: tpd.Tree)(using Context):
               val inlinedSingleton = singleton(t).withSpan(argSpan)
               inlinedFromOutside(inlinedSingleton)(tree.span)
             case Some(t) if tree.isType =>
-              inlinedFromOutside(TypeTree(t).withSpan(argSpan))(tree.span)
+              inlinedFromOutside(new InferredTypeTree().withType(t).withSpan(argSpan))(tree.span)
             case _ => tree
           }
         case tree @ Select(qual: This, name) if tree.symbol.is(Private) && tree.symbol.isInlineMethod =>

tests/pos-custom-args/captures/inlined-closure.scala

@@ -0,0 +1,18 @@
+class ContextClass
+type Context = ContextClass^
+class ParamRef:
+  def isTracked(using Context): Boolean = ???
+trait Lam[PR <: ParamRef]:
+  val paramRefs: List[PR] = ???
+inline def atPhase[T]()(inline op: Context ?=> T)(using ctx: Context): T =
+  op(using ctx)
+
+def Test(using ctx: Context) =
+  val info: Lam[ParamRef] = ???
+  info.paramRefs.filter(_.isTracked)
+  val p = atPhase()((_: ParamRef).isTracked)
+  val _: ParamRef ->{ctx} Boolean = p
+
+  //val f: String => ParamRef = ???
+  //val q = f.andThen(p)
+