Add quoted test for flexible types

Author: noti0na1

tests/explicit-nulls/run/tasty-flexible-type.check

@@ -0,0 +1,7 @@
+Inlined(None, Nil, Literal(StringConstant("hello")))
+ConstantType(StringConstant("hello"))
+
+Inlined(None, Nil, Apply(Select(Literal(StringConstant("world")), "trim"), Nil))
+FlexibleType(TypeRef(ThisType(TypeRef(NoPrefix(), "lang")), "String"))
+
+FlexibleType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix(), "java")), "lang"), "String"))

tests/explicit-nulls/run/tasty-flexible-type/quoted_1.scala

@@ -0,0 +1,34 @@
+import scala.quoted.*
+
+object Macros {
+
+  implicit inline def printTree[T](inline x: T): Unit =
+    ${ impl('x) }
+
+  def impl[T](x: Expr[T])(using Quotes) : Expr[Unit] = {
+    import quotes.reflect.*
+
+    val tree = x.asTerm
+    val treeStr = Expr(tree.show(using Printer.TreeStructure))
+    val treeTpeStr = Expr(tree.tpe.show(using Printer.TypeReprStructure))
+
+    '{
+      println(${treeStr})
+      println(${treeTpeStr})
+      println()
+    }
+  }
+
+  inline def theTestBlock : Unit = ${ theTestBlockImpl }
+
+  def theTestBlockImpl(using qctx : Quotes) : Expr[Unit] = {
+    import quotes.reflect.*
+
+    val ft1 = FlexibleType(TypeRepr.of[String])
+    val ft1e = Expr(ft1.show(using Printer.TypeReprStructure))
+
+    '{
+      println(${ft1e})
+    }
+  }
+}

tests/explicit-nulls/run/tasty-flexible-type/quoted_2.scala

@@ -0,0 +1,10 @@
+
+import Macros.*
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    printTree("hello")
+    printTree("world".trim())
+    theTestBlock
+  }
+}