diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-13 11:31:39 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-13 12:05:05 +0200 |
commit | 34f73ded3519a1df7d278685f3f33facd00f1c58 (patch) | |
tree | 3cf71a8baea0de46c9ca126a1ea2dbd6ea55c731 /tests/pos/typers.scala | |
parent | 3558e07b8f3a604bfd67c721cdec3eb9db29e7eb (diff) | |
download | dotty-34f73ded3519a1df7d278685f3f33facd00f1c58.tar.gz dotty-34f73ded3519a1df7d278685f3f33facd00f1c58.tar.bz2 dotty-34f73ded3519a1df7d278685f3f33facd00f1c58.zip |
Fix and enable RefChecks
RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct.
Diffstat (limited to 'tests/pos/typers.scala')
-rw-r--r-- | tests/pos/typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pos/typers.scala b/tests/pos/typers.scala index b2d786c1c..fe11ca602 100644 --- a/tests/pos/typers.scala +++ b/tests/pos/typers.scala @@ -88,7 +88,7 @@ object typers { } class Refinements { - val y: C { type T; val key: T; def process(x: T): Int } + val y: C { type T; val key: T; def process(x: T): Int } = ??? } object Accessibility { |