From 0d6c5263479a39356e1b7c75da5c6bbea74413fc Mon Sep 17 00:00:00 2001
From: Jan Chyb <jan.chyb.99@gmail.com>
Date: Thu, 17 Nov 2022 14:59:13 +0100
Subject: [PATCH] Remove an outdated test PR #16257 introduced a test for
 bindings in type annotations. Simultanously, #16150 disallowed the syntax
 that allowed the test to parse and compile. The test should be no longer
 needed.

---
 tests/pos-macros/i15971.scala | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 tests/pos-macros/i15971.scala

diff --git a/tests/pos-macros/i15971.scala b/tests/pos-macros/i15971.scala
deleted file mode 100644
index 537e435f919f..000000000000
--- a/tests/pos-macros/i15971.scala
+++ /dev/null
@@ -1,12 +0,0 @@
-sealed trait A
-case class B[T](x: T) extends A
-
-object Test {
-  inline def fun(x: A): Int = inline x match {
-    case B(x1): B[t] => 0
-  }
-
-  @main def main() = 
-    val x = B(0)
-    fun(x)
-}
\ No newline at end of file