This diagnostic has no UI test 🤔 Should we add some? If so, how?
Please read the rustc-dev-guide chapter on Backend Agnostic Codegen.