Enable Ycheck after labelDef. Fixes #701

DarkDimius · DarkDimius · commit 6369d6f39dd4 · 2015-07-13T17:57:48.000+02:00
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
@@ -20,7 +20,7 @@ class tests extends CompilerTest {
 
   implicit val defaultOptions = noCheckOptions ++ List(
       "-Yno-deep-subtypes", "-Yno-double-bindings",
-      "-Ycheck:tailrec,resolveSuper,mixin,restoreScopes",
+      "-Ycheck:tailrec,resolveSuper,mixin,restoreScopes,labelDef",
       "-d", defaultOutputDir
   )
   val testPickling = List("-Xprint-types", "-Ytest-pickler", "-Ystop-after:pickler")

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@ class tests extends CompilerTest {`
`20`	`20`
`21`	`21`	`implicit val defaultOptions = noCheckOptions ++ List(`
`22`	`22`	`"-Yno-deep-subtypes", "-Yno-double-bindings",`
`23`		`- "-Ycheck:tailrec,resolveSuper,mixin,restoreScopes",`
	`23`	`+ "-Ycheck:tailrec,resolveSuper,mixin,restoreScopes,labelDef",`
`24`	`24`	`"-d", defaultOutputDir`
`25`	`25`	`)`
`26`	`26`	`val testPickling = List("-Xprint-types", "-Ytest-pickler", "-Ystop-after:pickler")`