added tests for hidden type errors

Author: rssh

tests/neg-custom-args/hidden-type-errors.check

@@ -0,0 +1,12 @@
+-- [E007] Type Mismatch Error: tests/neg-custom-args/hidden-type-errors/Test.scala:6:24 --------------------------------
+6 |   val x = X.doSomething("XXX") 
+  |           ^^^^^^^^^^^^^^^^^^^^
+  |           Found:    String
+  |           Required: Int
+  | This location contains code that was inlined from Test.scala:6
+
+inlined at Test.scala:6:
+
+1 error found
+
+

tests/neg-custom-args/hidden-type-errors/Macro.scala

@@ -0,0 +1,23 @@
+package t12717
+
+import scala.quoted._
+
+object A:
+
+   def foo(x:Int): Int = ???
+
+   def bar(x:String): String = ???
+
+
+object X:
+
+   inline def doSomething[T](inline x:T):Any = ${
+      doSomethingImpl('x)
+   }
+
+   def doSomethingImpl[T:Type](x:Expr[T])(using Quotes):Expr[Any] =
+     import quotes.reflect._
+     val aTerm = '{A}.asTerm
+     val xBar = Apply(Select.unique(aTerm,"bar"),List(x.asTerm))
+     Apply(Select.unique(aTerm,"foo"), List(xBar)).asExpr
+

tests/neg-custom-args/hidden-type-errors/Test.scala

@@ -0,0 +1,6 @@
+package t12717
+
+
+object Test:
+
+   val x = X.doSomething("XXX") // error