Consistently print attribute paths

[jdonszelmann]

Some recent PRs (#140193 & #139615) made me realise that we need a nicer way to print attribute paths throughout the compiler. See https://github.com/rust-lang/rust/pull/139615/files#r2040684192.

This is part of #131229

[folkertdev]

also #140255