Test types of pattern bound variables

Author: nicolasstucki

tests/run/i8577a.scala

@@ -11,4 +11,5 @@ extension (inline ctx: Macro.StrCtx) inline def unapplySeq(inline input: Int): O
 
 @main def Test: Unit =
   val mac"$x" = 1
+  val y: Int = x
   assert(x == 1)

tests/run/i8577b.scala

@@ -11,4 +11,5 @@ extension (inline ctx: Macro.StrCtx) inline def unapplySeq[U](inline input: U):
 
 @main def Test: Unit =
   val mac"$x" = 1
+  val y: Int = x
   assert(x == 1)

tests/run/i8577c.scala

@@ -11,4 +11,5 @@ extension [T] (inline ctx: Macro.StrCtx) inline def unapplySeq(inline input: T):
 
 @main def Test: Unit =
   val mac"$x" = 1
+  val y: Int = x
   assert(x == 1)

tests/run/i8577d.scala

@@ -11,4 +11,5 @@ extension [T] (inline ctx: Macro.StrCtx) inline def unapplySeq[U](inline input:
 
 @main def Test: Unit =
   val mac"$x" = 1
+  val y: Int = x
   assert(x == 1)

tests/run/i8577e.scala

@@ -11,7 +11,9 @@ extension [T] (inline ctx: Macro.StrCtx) inline def unapplySeq[U](inline input:
 
 @main def Test: Unit =
   val mac"$x" = (1, 2)
+  val x2: (Int, Int) = x
   assert(x == (1, 2))
 
   val mac"$y" = (1, "a")
+  val y2: (Int, String) = y
   assert(y == (1, "a"))

tests/run/i8577f.scala

@@ -11,4 +11,5 @@ object Macro:
     Some(Seq(input))
 
   val mac"$x" = 1
+  val y: Int = x
   assert(x == 1)

tests/run/i8577g.scala

@@ -11,4 +11,5 @@ extension [T] (inline ctx: Macro.StrCtx) inline def unapplySeq[U](inline input:
 
 @main def Test: Unit =
   val mac"$x" = 1
+  val y: Int = x
   assert(x == 1)

tests/run/i8577h.scala

@@ -11,4 +11,5 @@ extension [T] (inline ctx: Macro.StrCtx) inline def unapplySeq[U](inline input:
 
 @main def Test: Unit =
   val mac"$x" = 1
+  val y: Int = x
   assert(x == 1)