fn check_param_wf(tcx: TyCtxt<'_>, param: &GenericParam<'_>)