Special case for pattern matching tagged abstract types.

Add special case when pattern matching against an abstract type that comes with a class tag

Author: odersky

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

@@ -427,10 +427,25 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
         ifExpr = seqToRepeated(typedExpr(tree.expr, defn.SeqType)),
         wildName = nme.WILDCARD_STAR)
     else {
-      def tpt1 = checkSimpleKinded(typedType(tree.tpt))
+      def typedTpt = checkSimpleKinded(typedType(tree.tpt))
+      def handlePattern: Tree = {
+        val tpt1 = typedTpt
+        // special case for an abstract type that comes with a class tag
+        tpt1.tpe.dealias match {
+          case tref: TypeRef if !tref.symbol.isClass =>
+            inferImplicit(defn.ClassTagType.appliedTo(tref),
+               EmptyTree, tpt1.pos)(ctx.retractMode(Mode.Pattern)) match {
+              case SearchSuccess(arg, _, _) =>
+                return typed(untpd.Apply(untpd.TypedSplice(arg), tree.expr), pt)
+              case _ =>
+            }
+          case _ =>
+        }
+        ascription(tpt1, isWildcard = true)
+      }
       cases(
-        ifPat = ascription(tpt1, isWildcard = true),
-        ifExpr = ascription(tpt1, isWildcard = false),
+        ifPat = handlePattern,
+        ifExpr = ascription(typedTpt, isWildcard = false),
         wildName = nme.WILDCARD)
     }
   }

tests/run/i1099.scala

@@ -0,0 +1,25 @@
+import scala.reflect.ClassTag
+object Test {
+  def foo[T: ClassTag](x: Any) =
+    x match {
+      case t: T => true
+      case _   => false
+    }
+  // This is what `foo` expands to
+  def foo2[T](x: Any)(implicit ev: ClassTag[T]) =
+    x match {
+      case t @ ev(_) => true
+      case _   => false
+    }
+  def main(args: Array[String]): Unit = {
+    assert(foo[String]("a"))
+    assert(!foo[String](new Integer(1)))
+    assert(foo[Int](1))
+    assert(!foo[Int](true))
+
+    assert(foo2[String]("a"))
+    assert(!foo2[String](new Integer(1)))
+    assert(foo2[Int](1))
+    assert(!foo2[Int](true))
+  }
+}