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