2020-01-05 15:46:44 +00:00
|
|
|
//! Construction of MIR from HIR.
|
|
|
|
//!
|
|
|
|
//! This crate also contains the match exhaustiveness and usefulness checking.
|
2022-02-28 21:12:52 -03:00
|
|
|
#![allow(rustc::potential_query_instability)]
|
2020-01-05 15:46:44 +00:00
|
|
|
#![feature(box_patterns)]
|
2020-09-04 00:59:41 -07:00
|
|
|
#![feature(control_flow_enum)]
|
2020-01-05 15:46:44 +00:00
|
|
|
#![feature(crate_visibility_modifier)]
|
2022-03-09 17:10:48 +00:00
|
|
|
#![feature(if_let_guard)]
|
2022-02-28 21:12:52 -03:00
|
|
|
#![feature(let_chains)]
|
2021-10-16 03:45:14 +02:00
|
|
|
#![feature(let_else)]
|
2021-04-02 00:58:45 -04:00
|
|
|
#![feature(min_specialization)]
|
2022-02-28 21:12:52 -03:00
|
|
|
#![feature(once_cell)]
|
2020-01-05 15:46:44 +00:00
|
|
|
#![recursion_limit = "256"]
|
|
|
|
|
|
|
|
#[macro_use]
|
2020-08-13 23:05:01 -07:00
|
|
|
extern crate tracing;
|
2020-01-05 15:46:44 +00:00
|
|
|
#[macro_use]
|
2020-03-29 16:41:09 +02:00
|
|
|
extern crate rustc_middle;
|
2020-01-05 15:46:44 +00:00
|
|
|
|
|
|
|
mod build;
|
2021-03-14 20:10:22 +01:00
|
|
|
mod check_unsafety;
|
2020-01-05 15:46:44 +00:00
|
|
|
mod lints;
|
2021-03-07 15:09:00 +01:00
|
|
|
pub mod thir;
|
2020-01-05 15:46:44 +00:00
|
|
|
|
2020-03-29 16:41:09 +02:00
|
|
|
use rustc_middle::ty::query::Providers;
|
2020-01-05 15:46:44 +00:00
|
|
|
|
2020-07-05 23:00:14 +03:00
|
|
|
pub fn provide(providers: &mut Providers) {
|
2020-07-21 09:09:27 +00:00
|
|
|
providers.check_match = thir::pattern::check_match;
|
|
|
|
providers.lit_to_const = thir::constant::lit_to_const;
|
2020-01-05 15:46:44 +00:00
|
|
|
providers.mir_built = build::mir_built;
|
2021-03-14 20:10:22 +01:00
|
|
|
providers.thir_check_unsafety = check_unsafety::thir_check_unsafety;
|
|
|
|
providers.thir_check_unsafety_for_const_arg = check_unsafety::thir_check_unsafety_for_const_arg;
|
2021-04-04 18:42:17 +02:00
|
|
|
providers.thir_body = thir::cx::thir_body;
|
2021-07-24 17:18:15 -04:00
|
|
|
providers.thir_tree = thir::cx::thir_tree;
|
2020-01-05 15:46:44 +00:00
|
|
|
}
|