Fix scala#4514: Add regression test

Author: nicolasstucki

tests/neg/i4514.scala

@@ -0,0 +1,4 @@
+object Foo {
+  inline def foo[X](x: X): Unit = ~fooImpl('(x)) // error: missing typetag Type[X]. May not be an error if we synthesize them #4515.
+  def fooImpl[X: quoted.Type](x: X): quoted.Expr[Unit] = '()
+}