Merge pull request #7785 from dotty-staging/fix-#7783

Fix #7783: Widen AnyVal to Any when checking class relation

Author: milessabin

compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala

@@ -168,7 +168,8 @@ object TypeTestsCasts {
           cpy.TypeApply(tree)(expr1.select(sym).withSpan(expr.span), List(TypeTree(tp)))
 
         def effectiveClass(tp: Type): Symbol =
-          if (tp.isRef(defn.PairClass)) effectiveClass(erasure(tp))
+          if tp.isRef(defn.PairClass) then effectiveClass(erasure(tp))
+          else if tp.isRef(defn.AnyValClass) then defn.AnyClass
           else tp.classSymbol
 
         def foundCls = effectiveClass(expr.tpe.widen)

tests/run/i7783.scala

@@ -0,0 +1,6 @@
+object Test extends App {
+  def foo(t: AnyVal): Unit = t match {
+    case _: Int =>
+  }
+  foo(3)
+}