Print Core type applications with no whitespace after @ (#17643)
This brings the pretty-printer for Core in line with how visible
type applications are normally printed: namely, with no whitespace
after the @
character (i.e., f @a
instead of f @ a
). While I'm
in town, I also give the same treatment to type abstractions (i.e.,
\(@a)
instead of \(@ a)
) and coercion applications (i.e.,
f @~x
instead of f @~ x
).
Fixes #17643 (closed).