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