scala/scala — pull request #1658 by martende (2012-11-22 11:35:18+00:00)
Title: SI-6023 reify abstract vals

MethodSynthesis provides conversion for deffered ValDefs into DefDef but set
plain origin . But reify needs in origin some "typed" type.
We can do it with the same way as ExistentialType - set TypeTree empty and allow
typer to do typing .

real type conversion for empty TypeTree happened in typedTypeTree.
type should be regenerated with typed(origin) type.

I have also can change origin here - our origin should always
1 ) for not "typed" origin (Ident or something else ) it produce TypeTree,
that we can use as origin in reifyer
2 ) for already "typed" origin we receive the same origin