From abb6909f22df2148d3719c3567ba5c5488a35636 Mon Sep 17 00:00:00 2001
From: Eugene Flesselle <eugene@flesselle.net>
Date: Wed, 24 Apr 2024 19:18:10 +0200
Subject: [PATCH] Normalize when verifying if TypeTestCasts are unchecked

---
 .../tools/dotc/transform/TypeTestsCasts.scala |  1 +
 tests/pos/i13433c/A_1.scala                   | 25 +++++++++++++++++++
 tests/pos/i13433c/B_2.scala                   | 22 ++++++++++++++++
 3 files changed, 48 insertions(+)
 create mode 100644 tests/pos/i13433c/A_1.scala
 create mode 100644 tests/pos/i13433c/B_2.scala

diff --git a/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala b/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala
index 509461c794f4..2007cbe45ff5 100644
--- a/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala
+++ b/compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala
@@ -135,6 +135,7 @@ object TypeTestsCasts {
     def recur(X: Type, P: Type): String = trace(s"recur(${X.show}, ${P.show})") {
       (X <:< P) ||| P.dealias.match
       case _: SingletonType     => ""
+      case tp if tp.isMatchAlias => recur(X, tp.tryNormalize)
       case _: TypeProxy
       if isAbstract(P)          => i"it refers to an abstract type member or type parameter"
       case defn.ArrayOf(tpT)    =>
diff --git a/tests/pos/i13433c/A_1.scala b/tests/pos/i13433c/A_1.scala
new file mode 100644
index 000000000000..8163c4f6e990
--- /dev/null
+++ b/tests/pos/i13433c/A_1.scala
@@ -0,0 +1,25 @@
+import scala.reflect.TypeTest
+
+type Matcher[A] = A match { case String => A }
+
+def patternMatch[A](a: Any)(using tt: TypeTest[Any, Matcher[A]]): Option[Matcher[A]] = {
+  // type T = RDF.Triple[Rdf]
+  a match {
+    case res: Matcher[A] => Some(res)
+    case _ => None
+  }
+}
+
+def patternMatchWithAlias[A](a: Any)(using tt: TypeTest[Any, Matcher[A]]): Option[Matcher[A]] = {
+  type T = Matcher[A]
+  a match {
+    case res: T => Some(res)
+    case _ => None
+  }
+}
+
+type S = String
+type MS = Matcher[S]
+
+type S2 = MS
+type MS2 = Matcher[S2]
diff --git a/tests/pos/i13433c/B_2.scala b/tests/pos/i13433c/B_2.scala
new file mode 100644
index 000000000000..5f2b0e6e0830
--- /dev/null
+++ b/tests/pos/i13433c/B_2.scala
@@ -0,0 +1,22 @@
+//> using options -Xfatal-warnings -deprecation -feature
+
+@main def main = {
+  println(patternMatch[String]("abc"))
+  println(patternMatchWithAlias[String]("abc"))
+  println(patternMatch[String]("abc")(using (s: Any) => {
+    if s.isInstanceOf[Matcher[String]] then Some[s.type & Matcher[String]](s.asInstanceOf[s.type & Matcher[String]]) else None }))
+  println(patternMatchWithAlias[String]("abc")(using (s: Any) => {
+    if s.isInstanceOf[Matcher[String]] then Some[s.type & Matcher[String]](s.asInstanceOf[s.type & Matcher[String]]) else None }))
+
+  println(patternMatch[String](1))
+  println(patternMatchWithAlias[String](1))
+
+  println(patternMatch[String]("abc")(using (s: Any) => {
+    if s.isInstanceOf[S] then Some[s.type & Matcher[String]](s.asInstanceOf[s.type & Matcher[String]]) else None}))
+  println(patternMatch[String]("abc")(using (s: Any) => {
+    if s.isInstanceOf[MS] then Some[s.type & Matcher[String]](s.asInstanceOf[s.type & Matcher[String]]) else None}))
+  println(patternMatch[String]("abc")(using (s: Any) => {
+    if s.isInstanceOf[S2] then Some[s.type & Matcher[String]](s.asInstanceOf[s.type & Matcher[String]]) else None}))
+  println(patternMatch[String]("abc")(using (s: Any) => {
+    if s.isInstanceOf[MS2] then Some[s.type & Matcher[String]](s.asInstanceOf[s.type & Matcher[String]]) else None}))
+}