I'm not inclined to disallow `if foo #[attr] { ... }` though I also would probably find inner-attributes more readable.

(I'd suggest we "just lint for it", but ... Does our lint infrastructure have enough info to try to catch the outer-attribute form here?  Or are all the attributes boiled away by the time the lints run?)