Commit 2026-04-27 14:17 e29dd335
View on Github →refactor: elimate string manipulation in TacticAnalysis.verifyTryThisSuggestions (#37917)
This change should be compatible with, but independent from, #37916. Instead of manipulating pretty-printed strings to identify when grind? uses hashes or approx, search for the corresponding syntax kinds.