fix irrefutable check

liufengyun · liufengyun · commit 21d983c8ae8f · 2017-08-24T00:25:07.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -372,7 +372,8 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
   /* Whether the extractor method type is irrefutable */
   def irrefutable(unapp: tpd.Tree): Boolean = {
     // TODO: optionless patmat
-    unapp.tpe.resultType.isRef(scalaSomeClass) || (unapp.symbol.is(allOf(Synthetic, Case)))
+    unapp.tpe.resultType.isRef(scalaSomeClass) ||
+      (unapp.symbol.is(Synthetic) && unapp.symbol.owner.linkedClass.is(Case))
   }
 
   /** Return the space that represents the pattern `pat`

Original file line number	Diff line number	Diff line change
`@@ -372,7 +372,8 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {`
`372`	`372`	`/* Whether the extractor method type is irrefutable */`
`373`	`373`	`def irrefutable(unapp: tpd.Tree): Boolean = {`
`374`	`374`	`// TODO: optionless patmat`
`375`		`- unapp.tpe.resultType.isRef(scalaSomeClass) \|\| (unapp.symbol.is(allOf(Synthetic, Case)))`
	`375`	`+ unapp.tpe.resultType.isRef(scalaSomeClass) \|\|`
	`376`	`+ (unapp.symbol.is(Synthetic) && unapp.symbol.owner.linkedClass.is(Case))`
`376`	`377`	`}`
`377`	`378`
`378`	`379`	/** Return the space that represents the pattern `pat`