Correct typo in IsInstanceOfEvalautor, fixes #1352

Author: felixmulder

src/dotty/tools/dotc/transform/IsInstanceOfEvaluator.scala

@@ -124,8 +124,8 @@ class IsInstanceOfEvaluator extends MiniPhaseTransform { thisTransformer =>
             !(selector.typeSymbol is Trait) &&
             !(selector.typeSymbol is Module)
 
-          val selClassNonFinal = scClass && !(selector.typeSymbol is Final)
-          val selFinalClass    = scClass && (selector.typeSymbol is Final)
+          val selClassNonFinal = selClass && !(selector.typeSymbol is Final)
+          val selFinalClass    = selClass && (selector.typeSymbol is Final)
 
           // Cases ---------------------------------
           val valueClassesOrAny =

tests/pos/i1352.scala

@@ -0,0 +1,11 @@
+object Test {
+  trait A
+  trait B
+  abstract sealed class Parent
+  class Foo extends Parent with A
+  class Bar extends Parent with B
+
+  (null: Parent) match {
+    case (_: A) | (_: B) => // dotty will complain here without the "-language:Scala2" flag
+  }
+}