Make sure REPL tests run with -unchecked flag

Author: felixmulder

compiler/test/dotty/tools/dotc/repl/TestREPL.scala

@@ -8,7 +8,7 @@ import java.io.StringWriter
 
 /** A subclass of REPL used for testing.
  *  It takes a transcript of a REPL session in `script`. The transcript
- *  starts with the first input prompt `scala> ` and ends with `scala> :quit` and a newline.
+ *  starts with the first input prompt `scala> ` and ends with `scala> :quit`.
  *  Invoking `process()` on the `TestREPL` runs all input lines and
  *  collects then interleaved with REPL output in a string writer `out`.
  *  Invoking `check()` checks that the collected output matches the original
@@ -24,6 +24,7 @@ class TestREPL(script: String) extends REPL {
     override def context(ctx: Context) = {
       val fresh = ctx.fresh
       fresh.setSetting(ctx.settings.color, "never")
+      fresh.setSetting(ctx.settings.unchecked, true)
       fresh.setSetting(ctx.settings.classpath, Jars.dottyReplDeps.mkString(":"))
       fresh.initialize()(fresh)
       fresh

tests/repl/errmsgs.check

@@ -79,7 +79,7 @@ scala> class Foo() { def bar: Int = 1 }; val foo = new Foo(); foo.barr
   |                                                       ^^^^^^^^
   |        value `barr` is not a member of Foo(foo) - did you mean `foo.bar`?
 scala> def unsafeCast[S](a: Any) = a match { case s: S => s; case _ => ??? }
--- Warning: <console> ----------------------------------------------------------
+-- [E034] Erased Type Unchecked Warning: <console> -----------------------------
 4 |def unsafeCast[S](a: Any) = a match { case s: S => s; case _ => ??? }
   |                                                ^
   |      abstract type pattern is unchecked since it is eliminated by erasure