Merge pull request #979 from dwijnand/sealed-extends-sealed

internal/compiler-bridge/src/main/scala/xsbt/ExtractAPI.scala

@@ -740,7 +740,7 @@ class ExtractAPI[GlobalType <: Global](
         if (sym.isPackageObjectClass) DefinitionType.PackageModule
         else DefinitionType.Module
       } else DefinitionType.ClassDef
-    val childrenOfSealedClass = sort(sym.children.toArray).map(c => processType(c, c.tpe))
+    val childrenOfSealedClass = sort(sym.sealedDescendants.toArray).map(c => processType(c, c.tpe))
     val topLevel = sym.owner.isPackageClass
     val anns = annotations(in, c)
     val modifiers = getModifiers(c)

zinc/src/sbt-test/source-dependencies/sealed-extends-sealed/A.scala

@@ -0,0 +1,4 @@
+sealed trait Z
+sealed trait A extends Z
+class B extends A
+class C extends A

zinc/src/sbt-test/source-dependencies/sealed-extends-sealed/App.scala

@@ -0,0 +1,6 @@
+object App {
+  def foo(z: Z) = z match {
+    case _: B =>
+    case _: C =>
+  }
+}

zinc/src/sbt-test/source-dependencies/sealed-extends-sealed/changes/A.scala

@@ -0,0 +1,5 @@
+sealed trait Z
+sealed trait A extends Z
+class B extends A
+class C extends A
+class D extends A

zinc/src/sbt-test/source-dependencies/sealed-extends-sealed/incOptions.properties

@@ -0,0 +1 @@
+scalac.options = -Xfatal-warnings

zinc/src/sbt-test/source-dependencies/sealed-extends-sealed/test

@@ -0,0 +1,8 @@
+> compile
+
+# Introduce a new class C that also extends A
+$ copy-file changes/A.scala A.scala
+
+# App.scala needs recompiling because the pattern match in it
+# is no longer exhaustive, which emits a warning
+-> compile