Make sure Block does not incorrectly match a TypeBlock (#22716)

Part 2 to #21722 
We do the same thing as there, but this time to make sure TypeBlocks are
not matched as Blocks. The tests from that PR were also moved, as I did
not realize they were put in `tests/pos` instead of `tests/pos-macros`
when making the review.

Author: hamzaremmal

compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

@@ -824,7 +824,7 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
 
     object BlockTypeTest extends TypeTest[Tree, Block]:
       def unapply(x: Tree): Option[Block & x.type] = x match
-        case x: (tpd.Block & x.type) => Some(x)
+        case x: (tpd.Block & x.type) if x.isTerm => Some(x)
         case _ => None
     end BlockTypeTest
 

tests/pos/i21721/Macro.scala tests/pos-macros/i21721-a/Macro.scala

@@ -0,0 +1,11 @@
+import scala.quoted._
+
+inline def test(): Any = ${ testImpl }
+
+def testImpl(using Quotes): Expr[Any] =
+  import quotes.reflect._
+  TypeBlock(Nil, TypeTree.of[Int]) match
+    case Block(_, res) =>
+      res.asExpr // unexpected case - would crash here, as res of TypeBlock is not a term
+    case _ =>
+      '{()} // expected case

tests/pos/i21721/Test.scala tests/pos-macros/i21721-a/Test.scala

@@ -0,0 +1 @@
+@main def Test() = test()