1 //! Construction of MIR from HIR.
3 //! This crate also contains the match exhaustiveness and usefulness checking.
4 #![feature(box_patterns)]
5 #![feature(control_flow_enum)]
6 #![feature(crate_visibility_modifier)]
7 #![feature(bool_to_option)]
10 #![feature(min_specialization)]
11 #![recursion_limit = "256"]
12 #![cfg_attr(not(bootstrap), allow(rustc::potential_query_instability))]
17 extern crate rustc_middle;
24 use rustc_middle::ty::query::Providers;
26 pub fn provide(providers: &mut Providers) {
27 providers.check_match = thir::pattern::check_match;
28 providers.lit_to_const = thir::constant::lit_to_const;
29 providers.mir_built = build::mir_built;
30 providers.thir_check_unsafety = check_unsafety::thir_check_unsafety;
31 providers.thir_check_unsafety_for_const_arg = check_unsafety::thir_check_unsafety_for_const_arg;
32 providers.thir_body = thir::cx::thir_body;
33 providers.thir_tree = thir::cx::thir_tree;