Nicholas Nethercote 74e9a29f6e Remove some late check_* functions.
They're not used by rustc or clippy.
2022-07-29 15:30:12 +10:00
..
2022-07-29 15:30:12 +10:00