fn check_no_parameters_use<'tcx>(tcx: TyCtxt<'tcx>, body: &'tcx Body<'tcx>)
Checks that function parameters aren’t used in the function body.