Function check_param_wf

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