fn check_impl_item(
    tcx: TyCtxt<'_>,
    impl_item: &ImplItem<'_>
) -> Result<(), ErrorGuaranteed>