diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2012-12-05 16:17:53 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2012-12-05 16:17:53 +0100 |
commit | cab8ea440bffbabe56f3860f6fb319b4334a6def (patch) | |
tree | 36618184cb91c9778159bfd7218cf50659e882dc /test/files/neg/t3995.check | |
parent | 90efa6bc35f0e4e1d37389af5a681836a03b68e5 (diff) | |
download | scala-cab8ea440bffbabe56f3860f6fb319b4334a6def.tar.gz scala-cab8ea440bffbabe56f3860f6fb319b4334a6def.tar.bz2 scala-cab8ea440bffbabe56f3860f6fb319b4334a6def.zip |
Expand test with a stably qualified example.
In the example below, we need a view from
`String => l.F0`, and the companion object `FO` is
reachable by a stable, non existentially-bound path.
class Lift {
def apply(f: F0) {}
class F0
object F0 {
implicit def f2f0(fn: String): F0 = ???
}
}
object Test {
val l = new Lift
l.apply("") // okay
}
Followup for SI-3995
Diffstat (limited to 'test/files/neg/t3995.check')
-rw-r--r-- | test/files/neg/t3995.check | 2 |
1 files changed, 1 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("") |