Backport "Fix typo in `allTermArguments`" to 3.3 LTS#60

Merged

tgodzik merged 2 commits intolts-3.3from

backport-lts-3.3-21836

Feb 14, 2025

Commits on Feb 13, 2025

Fix typo in allTermArguments

mbovel
authored and
tgodzik
committed
Remove redundant `with Checking`

mbovel
authored and
tgodzik
committed