From 413bcebf5a87102b1f1b2840b92b6a8017aa16df Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 15 Dec 2014 12:57:13 +0100 Subject: Fix to asSeenFrom for package object members Like TypeAssigner, asSeenFrom needs to insert a package object if the prefix is a package but the class enclosing the type is not. --- tests/pos/i0239.scala | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 tests/pos/i0239.scala (limited to 'tests/pos') diff --git a/tests/pos/i0239.scala b/tests/pos/i0239.scala new file mode 100644 index 000000000..0dfba7ea0 --- /dev/null +++ b/tests/pos/i0239.scala @@ -0,0 +1,24 @@ +package p { + class C[A] { + implicit def foo: M[A] = ??? + } + + object `package` extends C[String] + + object test0 { + def compute[A](implicit m: M[A]): A = ??? + val v = compute + val v1: String = v + } +} + +trait M[A] + +object test1 { + + def compute[A](implicit m: M[A]): A = ??? + + import p._ + val v = compute + val v1: String = v +} -- cgit v1.2.3