diff options
author | Uladzimir Abramchuk <u.abramchuk@gmail.com> | 2013-02-15 17:19:21 +0300 |
---|---|---|
committer | Uladzimir Abramchuk <u.abramchuk@gmail.com> | 2013-04-09 08:48:11 +0300 |
commit | 72503126d9c29ff029c4c9537234e1fb1d7a0130 (patch) | |
tree | 98169d35afebc835aaa886d2976401ba66695a21 /test/files | |
parent | 58ae1cacdb5fd65bbf876cc6a8d1d1de09e3ce68 (diff) | |
download | scala-72503126d9c29ff029c4c9537234e1fb1d7a0130.tar.gz scala-72503126d9c29ff029c4c9537234e1fb1d7a0130.tar.bz2 scala-72503126d9c29ff029c4c9537234e1fb1d7a0130.zip |
SI-6386 typed existential type tree's original now have tpe set
Tree reification fails for ExistentialTypeTree. The reason is that the
tree passed for reification (see reifyTree at GetTrees.scala) must have
not null tpe (see reifyBoundType at GenTrees.scala), which is not true
in the case of ExistentialTypeTree.
Why is it so? The tree passed to reifyTree was obtained in the reshape
phase of reificationusing using original TypeTrees that reporesent pre-
typer representation of a type. The problem is that original's tpe for
ExistentialTypeTree is not set.
So the solution to the issue is to create ExistentialTypeTree's original
in a such way that is has actual tpe set.
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/t6386.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/files/pos/t6386.scala b/test/files/pos/t6386.scala new file mode 100644 index 0000000000..85098a78f0 --- /dev/null +++ b/test/files/pos/t6386.scala @@ -0,0 +1,5 @@ +import scala.reflect.runtime.universe._ + +object Test extends App { + reify(manifest[Some[_]]) +}
\ No newline at end of file |