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