feat: add type-correctness note to rewrite tactic error messages
#13368
+94
−2
Loading