Merge pull request #1390 from felixmulder/topic/fix#1352

Correct typo in IsInstanceOfEvalautor, fixes #1352

Author: DarkDimius

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,15 @@
+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) =>
+      /*
+       * This case would incorrectly be reported as an error,
+       * due to a typo in IsInstanceOfEvaluator
+       */
+  }
+}