Add regression test

Closes #14001

Author: nicolasstucki

tests/neg-macros/i14001/Macro_1.scala

@@ -0,0 +1,16 @@
+package test
+import scala.quoted.*
+object Y {
+  inline def testStuff[T]: T =
+    ${testStuffImpl} // problem: T inferred to Nothing
+                     // solution add T explicitly
+
+  def testStuffImpl[T: Type](using Quotes): Expr[T] = {
+    import quotes.reflect.*
+
+    Apply(
+      Ref(Symbol.requiredMethod("test.A.C.apply")),
+      List(Literal(IntConstant(1)))
+    ).asExprOf[T]
+  }
+}

tests/neg-macros/i14001/Test_2.scala

@@ -0,0 +1,10 @@
+package test
+trait B {
+  case class C(i: Int)
+}
+
+object A extends B
+
+object X {
+  val z = Y.testStuff[A.C] // error: Expr cast exception
+}