This bug is essentially about submitting a pull request from https://github.com/scalamacros/kepler/tree/zzz/reflection-opt3