Should we use `name$1` instead? Even though you don't `resetLocalAttrs` on the splicee (AFAIK), things might not typecheck anymore if the expansion of the quasiquote was passed through an identity macro that `typecheck(resetLocalAttrs(tree)`.