test -Ycheck:erasure

liufengyun · liufengyun · commit 873ea8fc2ee2 · 2017-05-12T09:29:55.000+02:00
diff --git a/compiler/test/dotty/tools/vulpix/TestConfiguration.scala b/compiler/test/dotty/tools/vulpix/TestConfiguration.scala
@@ -50,7 +50,7 @@ object TestConfiguration {
     Array("-classpath", paths)
   }
 
-  private val yCheckOptions = Array("-Ycheck:tailrec,resolveSuper,mixin,restoreScopes,labelDef")
+  private val yCheckOptions = Array("-Ycheck:tailrec,resolveSuper,erasure,mixin,restoreScopes,labelDef")
 
   val defaultOptions = noCheckOptions ++ checkOptions ++ yCheckOptions ++ classPath
   val allowDeepSubtypes = defaultOptions diff Array("-Yno-deep-subtypes")

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ object TestConfiguration {`
`50`	`50`	`Array("-classpath", paths)`
`51`	`51`	`}`
`52`	`52`
`53`		`- private val yCheckOptions = Array("-Ycheck:tailrec,resolveSuper,mixin,restoreScopes,labelDef")`
	`53`	`+ private val yCheckOptions = Array("-Ycheck:tailrec,resolveSuper,erasure,mixin,restoreScopes,labelDef")`
`54`	`54`
`55`	`55`	`val defaultOptions = noCheckOptions ++ checkOptions ++ yCheckOptions ++ classPath`
`56`	`56`	`val allowDeepSubtypes = defaultOptions diff Array("-Yno-deep-subtypes")`