Fix of t2591.

Needed to wrap a dummyTreeOfType in a TypedSplice to prevent re-typechecking. (In fact, the
"tree without pos" check revealed a deeper problem: DummyTrees of types could be typed again,
but without the surrounding TypedSplice, the originally stored type would be forgotten and Null
would be returned.

1 files changed, 15 insertions, 0 deletions

diff --git a/tests/pos/t2591.scala b/tests/pos/t2591.scala
new file mode 100644
index 000000000..47ae551bf
--- /dev/null
+++ b/tests/pos/t2591.scala
@@ -0,0 +1,15 @@
+class A
+class B
+
+object Implicits {
+  implicit def imp(x: A): Int = 41
+  implicit def imp(x: B): Int = 41
+}
+
+object Test {
+	// should cause imp to be in scope so that the next expression type checks
+	// `import Implicits._` works
+	import Implicits.imp
+
+  (new A) : Int
+}