Function check_no_parameters_use 

fn check_no_parameters_use<'tcx>(tcx: TyCtxt<'tcx>, body: &'tcx Body<'tcx>)

Checks that function parameters aren’t used in the function body.