aboutsummaryrefslogtreecommitdiff
path: root/tests/untried/neg/t3995.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried/neg/t3995.scala')
-rw-r--r--tests/untried/neg/t3995.scala32
1 files changed, 0 insertions, 32 deletions
diff --git a/tests/untried/neg/t3995.scala b/tests/untried/neg/t3995.scala
deleted file mode 100644
index be169639d..000000000
--- a/tests/untried/neg/t3995.scala
+++ /dev/null
@@ -1,32 +0,0 @@
-class Lift {
- def apply(f: F0): Unit = {}
-
- class F0
- object F0 {
- implicit def f2f0(fn: String): F0 = ???
- }
-}
-
-object Test {
- val l = new Lift
- val f = ""
-
- "": l.F0 // okay
-
- l.apply("") // okay
-
- {
- val l = new Lift
- l.apply("") // okay
- }
-
- // fails trying to mkAttributedQualifier for pre = Skolem(_1 <: Lift with Singletom).F0
- // should this even have shown up in `companionImplicitMap`? It says that:
- //
- // "@return For those parts that refer to classes with companion objects that
- // can be accessed with unambiguous stable prefixes, the implicits infos
- // which are members of these companion objects."
- //
- // The skolem is stable, but it doen't seem much good to us
- (new Lift).apply("")
-}