fn check_foreign_item(
    tcx: TyCtxt<'_>,
    item: &ForeignItem<'_>
) -> Result<(), ErrorGuaranteed>