aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos/t8301b.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos/t8301b.scala')
-rw-r--r--tests/pending/pos/t8301b.scala36
1 files changed, 0 insertions, 36 deletions
diff --git a/tests/pending/pos/t8301b.scala b/tests/pending/pos/t8301b.scala
deleted file mode 100644
index 4dd39139d..000000000
--- a/tests/pending/pos/t8301b.scala
+++ /dev/null
@@ -1,36 +0,0 @@
-// 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._
- }
-}