Widen type params in checking whether an object is matchable

Author: liufengyun

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -3762,7 +3762,19 @@ class Typer extends Namer
           TypeComparer.constrainPatternType(tree.tpe, pt)
         }
 
-        if tree.symbol.is(Module) && !(tree.tpe <:< pt) then
+        // approximate type params with bounds
+        def approx = new ApproximatingTypeMap {
+          def apply(tp: Type) = tp.dealias match
+            case tp: TypeRef if !tp.symbol.isClass =>
+              expandBounds(tp.info.bounds)
+            case _ =>
+              mapOver(tp)
+        }
+
+        if tree.symbol.is(Module)
+           && !(tree.tpe frozen_<:< pt) // fast track
+           && !(tree.tpe frozen_<:< approx(pt))
+        then
           // We could check whether `equals` is overriden.
           // Reasons for not doing so:
           // - it complicates the protocol

tests/neg/i5077.scala

@@ -0,0 +1,32 @@
+trait Is[A]
+case object IsInt extends Is[Int]
+case object IsString extends Is[String]
+case class C[A](is: Is[A], value: A)
+
+@main
+def Test = {
+  val c_string: C[String] = C(IsString, "name")
+  val c_any: C[_] = c_string
+  val any: Any = c_string
+
+  // Case 1: error
+  c_string match {
+    case C(IsInt, _) => println(s"An Int") // error
+    case C(IsString, s) => println(s"A String with length ${s.length}")
+    case _ => println("No match")
+  }
+
+  // Case 2: Should match the second case and print the length of the string
+  c_any match {
+    case C(IsInt, i) if i < 10 => println(s"An Int less than 10")
+    case C(IsString, s) => println(s"A String with length ${s.length}")
+    case _ => println("No match")
+  }
+
+  // Case 3: Same as above; should match the second case and print the length of the string
+  any match {
+    case C(IsInt, i) if i < 10 => println(s"An Int less than 10")
+    case C(IsString, s) => println(s"A String with length ${s.length}")
+    case _ => println("No match")
+  }
+}

tests/neg/i9740b.scala

@@ -0,0 +1,11 @@
+sealed trait Exp[T]
+case class IntExp(x: Int) extends Exp[Int]
+case class StrExp(x: String) extends Exp[String]
+object UnitExp extends Exp[Unit]
+
+class Foo[U <: Int, T <: U] {
+  def bar[A <: T](x: Exp[A]): Unit = x match
+    case IntExp(x) =>
+    case StrExp(x) =>
+    case UnitExp =>
+}

tests/pos/autoTuplingTest.scala

@@ -1,6 +1,6 @@
 object autoTupling {
 
-  val x = Some(1, 2)
+  val x: Option[(Int, Int)] = Some(1, 2)
 
   x match {
     case Some(a, b) => a + b

tests/pos/i7516.scala

@@ -1,3 +1,3 @@
-val foo: Int => Int = Some(7) match
+val foo: Int => Int = Option(7) match
   case Some(y) => x => y
   case None => identity[Int]

tests/run/i5077.check

@@ -1,3 +1,2 @@
 A String with length 4
 A String with length 4
-A String with length 4

tests/run/i5077.scala

@@ -9,13 +9,12 @@ def Test = {
   val c_any: C[_] = c_string
   val any: Any = c_string
 
-  // Case 1: no error
-  // `IsInt.equals` might be overridden to match a value of `C[String]`
-  c_string match {
-    case C(IsInt, _) => println(s"An Int") // Can't possibly happen!
-    case C(IsString, s) => println(s"A String with length ${s.length}")
-    case _ => println("No match")
-  }
+  // Case 1: error, tested in tests/neg/i5077.scala
+  // c_string match {
+  //   case C(IsInt, _) => println(s"An Int") // Can't possibly happen!
+  //   case C(IsString, s) => println(s"A String with length ${s.length}")
+  //   case _ => println("No match")
+  // }
 
   // Case 2: Should match the second case and print the length of the string
   c_any match {