Fix isConversionTargetType test (#23401)

Was wrong for annotated types before.

Fixes #23398

Author: prolativ

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

@@ -472,7 +472,7 @@ object Types extends TypeUtils {
         case tp: TypeRef =>
           (tp.symbol.isClass || tp.symbol.isOpaqueAlias) && tp.symbol.is(Into)
         case tp @ AppliedType(tycon, _) =>
-          isInto || tycon.isConversionTargetType
+          tp.isInto || tycon.isConversionTargetType
         case tp: AndOrType =>
           tp.tp1.isConversionTargetType && tp.tp2.isConversionTargetType
         case tp: TypeVar =>

tests/pos/i23398.scala

@@ -0,0 +1,16 @@
+//> using options -feature -Werror
+import scala.language.experimental.into
+import Conversion.into
+
+case class Foo(x: Int)
+
+given Conversion[Int, Foo] = Foo(_)
+
+def takeFoo(f: into[Foo]) = f
+inline def inlineTakeFoo(f: into[Foo]) = f
+inline def takeInlineFoo(inline f: into[Foo]) = f
+
+def test =
+  val f1 = takeFoo(1)
+  val f2 = inlineTakeFoo(1)
+  val f3 = takeInlineFoo(1)