fn exact_override_item( gcx: Gcx<'_>, item: ItemId, owner: ContractId, visited: &mut HashSet<ItemId>, ) -> Option<ItemId>