1  #![cfg_attr(docsrs, feature(doc_auto_cfg, doc_cfg))]
 2  #![doc = include_str!("../README.md")]
 3  // @@ begin lint list maintained by maint/add_warning @@
 4  #![allow(renamed_and_removed_lints)] // @@REMOVE_WHEN(ci_arti_stable)
 5  #![allow(unknown_lints)] // @@REMOVE_WHEN(ci_arti_nightly)
 6  #![warn(missing_docs)]
 7  #![warn(noop_method_call)]
 8  #![warn(unreachable_pub)]
 9  #![warn(clippy::all)]
10  #![deny(clippy::await_holding_lock)]
11  #![deny(clippy::cargo_common_metadata)]
12  #![deny(clippy::cast_lossless)]
13  #![deny(clippy::checked_conversions)]
14  #![warn(clippy::cognitive_complexity)]
15  #![deny(clippy::debug_assert_with_mut_call)]
16  #![deny(clippy::exhaustive_enums)]
17  #![deny(clippy::exhaustive_structs)]
18  #![deny(clippy::expl_impl_clone_on_copy)]
19  #![deny(clippy::fallible_impl_from)]
20  #![deny(clippy::implicit_clone)]
21  #![deny(clippy::large_stack_arrays)]
22  #![warn(clippy::manual_ok_or)]
23  #![deny(clippy::missing_docs_in_private_items)]
24  #![warn(clippy::needless_borrow)]
25  #![warn(clippy::needless_pass_by_value)]
26  #![warn(clippy::option_option)]
27  #![deny(clippy::print_stderr)]
28  #![deny(clippy::print_stdout)]
29  #![warn(clippy::rc_buffer)]
30  #![deny(clippy::ref_option_ref)]
31  #![warn(clippy::semicolon_if_nothing_returned)]
32  #![warn(clippy::trait_duplication_in_bounds)]
33  #![deny(clippy::unchecked_duration_subtraction)]
34  #![deny(clippy::unnecessary_wraps)]
35  #![warn(clippy::unseparated_literal_suffix)]
36  #![deny(clippy::unwrap_used)]
37  #![deny(clippy::mod_module_files)]
38  #![allow(clippy::let_unit_value)] // This can reasonably be done for explicitness
39  #![allow(clippy::uninlined_format_args)]
40  #![allow(clippy::significant_drop_in_scrutinee)] // arti/-/merge_requests/588/#note_2812945
41  #![allow(clippy::result_large_err)] // temporary workaround for arti#587
42  #![allow(clippy::needless_raw_string_hashes)] // complained-about code is fine, often best
43  #![allow(clippy::needless_lifetimes)] // See arti#1765
44  //! <!-- @@ end lint list maintained by maint/add_warning @@ -->
45  
46  // TODO #1645 (either remove this, or decide to have it everywhere)
47  #![cfg_attr(any(not(feature = "full"), miri), allow(unused))]
48  
49  extern crate core;
50  
51  #[macro_use]
52  mod util;
53  
54  pub mod io;
55  pub mod net;
56  pub mod simple_time;
57  pub mod task;
58  pub mod time;
59  
60  mod net_runtime;
61  mod runtime;
62  mod sleep_runtime;
63  mod time_core;
64  
65  pub use net_runtime::MockNetRuntime;
66  pub use runtime::MockRuntime;
67  pub use sleep_runtime::MockSleepRuntime;