https://github.com/sjoerdmeijer approved this pull request. I agree with this direction, correctness should be the first priority. Also, as you mentioned, this does not regress many cases. LGTM https://github.com/llvm/llvm-project/pull/124901