fn check_associated_item(
    tcx: TyCtxt<'_>,
    item_id: LocalDefId,
    span: Span,
    sig_if_method: Option<&FnSig<'_>>
) -> Result<(), ErrorGuaranteed>