Along the same lines as in the comment above, I think, this should be `C2{macro foo: Unit}`. For that, we have to include another check in `specializesSym`: `if (sym1.isMacro && sym2.isMacro) return false`.