aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/t6815_import.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/t6815_import.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/t6815_import.scala')
-rw-r--r--tests/pos/t6815_import.scala16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/pos/t6815_import.scala b/tests/pos/t6815_import.scala
new file mode 100644
index 000000000..56f4358d5
--- /dev/null
+++ b/tests/pos/t6815_import.scala
@@ -0,0 +1,16 @@
+trait U {
+ trait ValOrDefDefApi {
+ def name: Any
+ }
+ type ValOrDefDef <: ValOrDefDefApi
+ type ValDef <: ValOrDefDef with ValDefApi
+ trait ValDefApi extends ValOrDefDefApi { this: ValDef => }
+ val emptyValDef: ValDef // the result type is volatile
+}
+
+object Test {
+ val u: U = ???
+
+ // but we shouldn't let that stop us from treating it as a stable identifier for import
+ import u.emptyValDef.name
+}