1 //! Construction of MIR from HIR.
3 //! This crate also contains the match exhaustiveness and usefulness checking.
4 #![allow(rustc::potential_query_instability)]
5 #![feature(assert_matches)]
6 #![feature(box_patterns)]
7 #![feature(control_flow_enum)]
8 #![feature(if_let_guard)]
9 #![feature(let_chains)]
10 #![feature(min_specialization)]
11 #![feature(once_cell)]
12 #![recursion_limit = "256"]
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.lit_to_mir_constant = build::lit_to_mir_constant;
30 providers.mir_built = build::mir_built;
31 providers.thir_check_unsafety = check_unsafety::thir_check_unsafety;
32 providers.thir_check_unsafety_for_const_arg = check_unsafety::thir_check_unsafety_for_const_arg;
33 providers.thir_body = thir::cx::thir_body;
34 providers.thir_tree = thir::cx::thir_tree;