Merge pull request #4334 from dotty-staging/fix-4315

Fix #4315: handle local child from scalac

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/patmat/Space.scala

@@ -497,6 +497,17 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
   def refine(parent: Type, child: Symbol): Type = {
     if (child.isTerm && child.is(Case, butNot = Module)) return child.termRef // enum vals always match
 
+    // <local child> is a place holder from Scalac, it is hopeless to instantiate it.
+    //
+    // Quote from scalac (from nsc/symtab/classfile/Pickler.scala):
+    //
+    //     ...When a sealed class/trait has local subclasses, a single
+    //     <local child> class symbol is added as pickled child
+    //     (instead of a reference to the anonymous class; that was done
+    //     initially, but seems not to work, ...).
+    //
+    if (child.name == tpnme.LOCAL_CHILD) return child.typeRef
+
     val childTp = if (child.isTerm) child.termRef else child.typeRef
 
     val resTp = instantiate(childTp, parent)(ctx.fresh.setNewTyperState())

tests/patmat/i4315.scala

@@ -0,0 +1,8 @@
+import scala.concurrent.duration.{Duration, FiniteDuration}
+
+class Test {
+  def test(d: Duration) = d match {
+    case finite: FiniteDuration =>
+    case d =>
+  }
+}