Some cleanups around check_argument_types#92360

Merged

bors merged 4 commits intorust-lang:masterfrom jackh726:param-heuristics-1

Jan 6, 2022

+137-108

Commits on Dec 24, 2021

Rename args to check_argument_types and add some comments for what they are
jackh726
committed

Commits on Dec 28, 2021