Skip to content

feat: add type-correctness note to `rewrite` tactic error messages

99d3297
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

feat: add type-correctness note to rewrite tactic error messages #13368

feat: add type-correctness note to `rewrite` tactic error messages
99d3297
Select commit
Loading
Failed to load commit list.