diff --git a/compiler/src/dotty/tools/dotc/transform/Erasure.scala b/compiler/src/dotty/tools/dotc/transform/Erasure.scala
index 1f468cb3a839..be7d2c740126 100644
--- a/compiler/src/dotty/tools/dotc/transform/Erasure.scala
+++ b/compiler/src/dotty/tools/dotc/transform/Erasure.scala
@@ -358,9 +358,13 @@ object Erasure {
     /** This override is only needed to semi-erase type ascriptions */
     override def typedTyped(tree: untpd.Typed, pt: Type)(implicit ctx: Context): Tree = {
       val Typed(expr, tpt) = tree
-      val tpt1 = promote(tpt)
-      val expr1 = typed(expr, tpt1.tpe)
-      assignType(untpd.cpy.Typed(tree)(expr1, tpt1), tpt1)
+      val tpt1 = tpt match {
+        case Block(_, tpt) => tpt // erase type aliases (statements) from type block
+        case tpt => tpt
+      }
+      val tpt2 = promote(tpt1)
+      val expr1 = typed(expr, tpt2.tpe)
+      assignType(untpd.cpy.Typed(tree)(expr1, tpt2), tpt2)
     }
 
     override def typedLiteral(tree: untpd.Literal)(implicit ctx: Context): Tree =
diff --git a/tests/pos/i6210/Macros_1.scala b/tests/pos/i6210/Macros_1.scala
new file mode 100644
index 000000000000..b50f03c26680
--- /dev/null
+++ b/tests/pos/i6210/Macros_1.scala
@@ -0,0 +1,14 @@
+import scala.quoted._
+
+object Macro {
+  inline def test[A, B]: Any =
+    ${ impl[A, B] }
+
+  def impl[A : Type, B : Type]: Expr[Any] = {
+    val t = '[Map[A, B]]
+    '{
+      new Object().asInstanceOf[$t]
+      ???.asInstanceOf[$t]
+    }
+  }
+}
diff --git a/tests/pos/i6210/Test_2.scala b/tests/pos/i6210/Test_2.scala
new file mode 100644
index 000000000000..15b7ad8f8c07
--- /dev/null
+++ b/tests/pos/i6210/Test_2.scala
@@ -0,0 +1,5 @@
+object Test {
+  type T
+  def t1 = Macro.test[Int, String]
+  def t2 = Macro.test[Test.type, T]
+}