Thank you for the RFC! This seems to be closely related to an existing deficiency we have in the frontend regarding communicating diagnostics from the backend to the user: [RFC] Improving Clang's middle and back end diagnostics (CC @nickdesaulniers). The concerns raised on that thread are primarily about finding an acceptable tradeoff for functionality vs compile time overhead. It may be worth mining that discussion to further refine your ideas.