scalamacros/kepler — comment on commit 9393efc68a2c057a9b6e7d1c148355024d46a8aa
File:  line 0
By odersky:

It goes in the right direction. But simply nulling out DefDef's type goes both too far and not far enough. Too far: if this was a programmer given type, we can't simply erase it. Not far enough: What about ValDef's, parameters, and other uses of tpt?