diff options
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/elide-to-nothing.check | 4 | ||||
-rw-r--r-- | test/files/neg/elide-to-nothing.flags | 1 | ||||
-rw-r--r-- | test/files/neg/elide-to-nothing.scala | 31 |
3 files changed, 0 insertions, 36 deletions
diff --git a/test/files/neg/elide-to-nothing.check b/test/files/neg/elide-to-nothing.check deleted file mode 100644 index 3ef05aac9a..0000000000 --- a/test/files/neg/elide-to-nothing.check +++ /dev/null @@ -1,4 +0,0 @@ -elide-to-nothing.scala:14: error: Cannot elide where Nothing is required. - val b: Nothing = unimplemented() - ^ -one error found diff --git a/test/files/neg/elide-to-nothing.flags b/test/files/neg/elide-to-nothing.flags deleted file mode 100644 index 59a512e547..0000000000 --- a/test/files/neg/elide-to-nothing.flags +++ /dev/null @@ -1 +0,0 @@ --Xelide-below 500 diff --git a/test/files/neg/elide-to-nothing.scala b/test/files/neg/elide-to-nothing.scala deleted file mode 100644 index 5008e8bc1d..0000000000 --- a/test/files/neg/elide-to-nothing.scala +++ /dev/null @@ -1,31 +0,0 @@ - -/** Test which should fail compilation */ -class ElysianFailed { - - import ElysianField._ - - // fine - val a: Int = myInt - - // fine - unimplemented() - - // not fine - val b: Nothing = unimplemented() - -} - -object ElysianField { - - import annotation.elidable - - @elidable(100) def unimplemented(): Nothing = throw new UnsupportedOperationException - - @elidable(100) def myInt: Int = 17 - -} - - - - - |