This check shouldn't be here. We already have one over here: https://github.com/scalamacros/kepler/blob/b4be0886d1d1561538102d973d1fd34bc3eef5cb/src/compiler/scala/tools/nsc/typechecker/Macros.scala#L926.