anemet added a comment. > Seems reasonable to me. I don't know anything about the MIR parser's use of diagnostics, though. Currently it does not emit remarks and we can introduce remarks as needed. Thanks for the review! https://reviews.llvm.org/D38865