scalamacros/kepler — pull request #21 by martende (2012-11-22 10:01:18+00:00)
Title: SI-6023 reify abstract vals fix

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 Exestenstials - set TypeTree empty and allow
typer to do typing .

Its does not work for all cases in followed test case

class A2 {
case class B2(x: C2)(y: Int) extends A2 {
override def toString = "slkdfj" + y
}
class C2
}

x needs TypeTree(tp) type and can't be evaluated in typer.

if typedTypeTree received something with origin ( it can be only empty )
it should be regenerated with typed(origin) type.
I have also changed origin here:
for not "typed" origin (Ident or something else ) it produce TypeTree
for already "typed" we receive the same origin