aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/t8301b.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2016-08-22 16:18:49 +0200
committerMartin Odersky <odersky@gmail.com>2016-08-26 11:13:16 +0200
commitd84805299a42cb8d2c756aff5a117af24dbeaaf4 (patch)
tree924136f2161289e25bd1ecad388e88b13be248fc /tests/pos/t8301b.scala
parent8f5bd779903d5c9f29bc3750391ffacbf3cf869e (diff)
downloaddotty-d84805299a42cb8d2c756aff5a117af24dbeaaf4.tar.gz
dotty-d84805299a42cb8d2c756aff5a117af24dbeaaf4.tar.bz2
dotty-d84805299a42cb8d2c756aff5a117af24dbeaaf4.zip
Recategorize tests
Passing tests from pending/pos go in pos. Some others go in diabled/not-testable. These are tests that require a compilation order which we cannot yet do with our unit testing framework. Compiling them alltogether (as is now doen in junit) does not work either for them because they contain a duplicate class.
Diffstat (limited to 'tests/pos/t8301b.scala')
-rw-r--r--tests/pos/t8301b.scala36
1 files changed, 36 insertions, 0 deletions
diff --git a/tests/pos/t8301b.scala b/tests/pos/t8301b.scala
new file mode 100644
index 000000000..4dd39139d
--- /dev/null
+++ b/tests/pos/t8301b.scala
@@ -0,0 +1,36 @@
+// cf. pos/t8300-patmat.scala
+trait Universe {
+ type Name >: Null <: AnyRef with NameApi
+ trait NameApi
+
+ type TermName >: Null <: TermNameApi with Name
+ trait TermNameApi extends NameApi
+}
+
+object Test extends App {
+ val u: Universe = ???
+ import u._
+
+ val ScalaName: TermName = ???
+ locally {
+
+ ??? match {
+ case Test.ScalaName => ???
+ }
+ import Test.ScalaName._
+
+ ??? match {
+ case ScalaName => ???
+ }
+ import ScalaName._
+
+ // both the pattern and import led to
+ // stable identifier required, but SN found. Note that value SN
+ // is not stable because its type, Test.u.TermName, is volatile.
+ val SN = ScalaName
+ ??? match {
+ case SN => ???
+ }
+ import SN._
+ }
+}