diff options
| -rw-r--r-- | test/files/neg/t3995.check | 2 | ||||
| -rw-r--r-- | test/files/neg/t3995.scala | 7 |
2 files changed, 8 insertions, 1 deletions
diff --git a/test/files/neg/t3995.check b/test/files/neg/t3995.check index 844150a528..00ecf4ca5b 100644 --- a/test/files/neg/t3995.check +++ b/test/files/neg/t3995.check @@ -1,4 +1,4 @@ -t3995.scala:24: error: type mismatch; +t3995.scala:31: error: type mismatch; found : String("") required: _1.F0 where val _1: Lift (new Lift).apply("") diff --git a/test/files/neg/t3995.scala b/test/files/neg/t3995.scala index 8eb4698aaa..b03617ac86 100644 --- a/test/files/neg/t3995.scala +++ b/test/files/neg/t3995.scala @@ -13,6 +13,13 @@ object Test { "": 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: // |