https://github.com/fhahn approved this pull request. LGTM, very nice to get the const_casts cleaned up! Might be worth to generalize the title to something like `[PatternMatch] Mark various matchers as const. (NFC)` https://github.com/llvm/llvm-project/pull/138834