Function check_param_wf 

fn check_param_wf(
    tcx: TyCtxt<'_>,
    param: &GenericParamDef,
) -> Result<(), ErrorGuaranteed>