diff options
author | Martin Odersky <odersky@gmail.com> | 2014-05-16 12:36:43 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-05-30 14:38:12 +0200 |
commit | 4a071ad51e4ccc94c34e0fcbea84d48cd8bb214c (patch) | |
tree | 8ef056f85220cc6d9646b9d2903a4614c94f0aa2 /tests/pending/pos | |
parent | e42388682094c63055440c8915d8215935007584 (diff) | |
download | dotty-4a071ad51e4ccc94c34e0fcbea84d48cd8bb214c.tar.gz dotty-4a071ad51e4ccc94c34e0fcbea84d48cd8bb214c.tar.bz2 dotty-4a071ad51e4ccc94c34e0fcbea84d48cd8bb214c.zip |
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.
Diffstat (limited to 'tests/pending/pos')
-rw-r--r-- | tests/pending/pos/t2591.scala | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tests/pending/pos/t2591.scala b/tests/pending/pos/t2591.scala deleted file mode 100644 index 47ae551bf..000000000 --- a/tests/pending/pos/t2591.scala +++ /dev/null @@ -1,15 +0,0 @@ -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 -} |