]> git.lizzy.rs Git - rust.git/blob - src/librustc_mir/lib.rs
Simplify SaveHandler trait
[rust.git] / src / librustc_mir / lib.rs
1 /*!
2
3 Rust MIR: a lowered representation of Rust. Also: an experiment!
4
5 */
6
7 #![feature(nll)]
8 #![feature(in_band_lifetimes)]
9 #![feature(slice_patterns)]
10 #![feature(box_patterns)]
11 #![feature(box_syntax)]
12 #![feature(crate_visibility_modifier)]
13 #![feature(core_intrinsics)]
14 #![feature(const_fn)]
15 #![feature(decl_macro)]
16 #![feature(exhaustive_patterns)]
17 #![feature(rustc_diagnostic_macros)]
18 #![feature(never_type)]
19 #![feature(specialization)]
20 #![feature(try_trait)]
21 #![feature(unicode_internals)]
22 #![feature(slice_concat_ext)]
23 #![feature(trusted_len)]
24 #![feature(try_blocks)]
25 #![feature(mem_take)]
26
27 #![recursion_limit="256"]
28
29 #![deny(rust_2018_idioms)]
30 #![deny(unused_lifetimes)]
31
32 #[macro_use] extern crate log;
33 #[macro_use] extern crate rustc;
34 #[macro_use] extern crate rustc_data_structures;
35 #[macro_use] extern crate syntax;
36
37 mod error_codes;
38
39 mod borrow_check;
40 mod build;
41 mod dataflow;
42 mod hair;
43 mod lints;
44 mod shim;
45 pub mod transform;
46 pub mod util;
47 pub mod interpret;
48 pub mod monomorphize;
49 pub mod const_eval;
50
51 use rustc::ty::query::Providers;
52
53 pub fn provide(providers: &mut Providers<'_>) {
54     borrow_check::provide(providers);
55     shim::provide(providers);
56     transform::provide(providers);
57     monomorphize::partitioning::provide(providers);
58     providers.const_eval = const_eval::const_eval_provider;
59     providers.const_eval_raw = const_eval::const_eval_raw_provider;
60     providers.check_match = hair::pattern::check_match;
61     providers.const_field = |tcx, param_env_and_value| {
62         let (param_env, (value, field)) = param_env_and_value.into_parts();
63         const_eval::const_field(tcx, param_env, None, field, value)
64     };
65     providers.type_name = interpret::type_name;
66 }
67
68 __build_diagnostic_array! { librustc_mir, DIAGNOSTICS }