2020-01-13 12:40:30 +00:00
|
|
|
//! Various checks
|
|
|
|
//!
|
|
|
|
//! # Note
|
|
|
|
//!
|
|
|
|
//! This API is completely unstable and subject to change.
|
|
|
|
|
2020-09-23 19:51:56 +00:00
|
|
|
#![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")]
|
2022-09-30 17:53:32 +00:00
|
|
|
#![feature(let_chains)]
|
2022-07-09 09:35:06 +00:00
|
|
|
#![feature(never_type)]
|
|
|
|
#![feature(box_patterns)]
|
2020-01-13 12:40:30 +00:00
|
|
|
#![recursion_limit = "256"]
|
|
|
|
|
|
|
|
#[macro_use]
|
2020-03-29 14:41:09 +00:00
|
|
|
extern crate rustc_middle;
|
2020-01-13 12:40:30 +00:00
|
|
|
#[macro_use]
|
2020-08-14 06:05:01 +00:00
|
|
|
extern crate tracing;
|
2020-01-13 12:40:30 +00:00
|
|
|
|
2022-10-13 09:13:02 +00:00
|
|
|
use rustc_errors::{DiagnosticMessage, SubdiagnosticMessage};
|
|
|
|
use rustc_macros::fluent_messages;
|
2020-03-29 14:41:09 +00:00
|
|
|
use rustc_middle::ty::query::Providers;
|
2020-01-13 12:40:30 +00:00
|
|
|
|
2022-10-03 00:06:14 +00:00
|
|
|
mod abi;
|
2021-11-18 21:44:45 +00:00
|
|
|
mod assoc;
|
2020-01-30 20:28:16 +00:00
|
|
|
mod common_traits;
|
2022-06-28 20:45:05 +00:00
|
|
|
mod consts;
|
2022-08-18 23:04:31 +00:00
|
|
|
mod errors;
|
2022-08-17 10:22:32 +00:00
|
|
|
mod implied_bounds;
|
2020-02-12 16:24:32 +00:00
|
|
|
pub mod instance;
|
2022-10-03 00:06:14 +00:00
|
|
|
mod layout;
|
|
|
|
mod layout_sanity_check;
|
2020-01-30 20:28:16 +00:00
|
|
|
mod needs_drop;
|
2021-04-27 13:01:37 +00:00
|
|
|
pub mod representability;
|
2022-12-08 04:02:50 +00:00
|
|
|
mod structural_match;
|
2020-01-13 12:40:30 +00:00
|
|
|
mod ty;
|
|
|
|
|
2023-03-02 23:18:38 +00:00
|
|
|
fluent_messages! { "../messages.ftl" }
|
2022-10-13 09:13:02 +00:00
|
|
|
|
2020-07-05 20:00:14 +00:00
|
|
|
pub fn provide(providers: &mut Providers) {
|
2022-10-03 00:06:14 +00:00
|
|
|
abi::provide(providers);
|
2021-11-18 21:44:45 +00:00
|
|
|
assoc::provide(providers);
|
2020-01-30 20:28:16 +00:00
|
|
|
common_traits::provide(providers);
|
2022-06-28 20:35:48 +00:00
|
|
|
consts::provide(providers);
|
2022-08-17 10:22:32 +00:00
|
|
|
implied_bounds::provide(providers);
|
2022-10-03 00:06:14 +00:00
|
|
|
layout::provide(providers);
|
2020-01-30 20:28:16 +00:00
|
|
|
needs_drop::provide(providers);
|
2022-08-15 19:11:11 +00:00
|
|
|
representability::provide(providers);
|
2020-01-13 12:40:30 +00:00
|
|
|
ty::provide(providers);
|
2020-04-05 05:21:36 +00:00
|
|
|
instance::provide(providers);
|
2022-12-08 04:02:50 +00:00
|
|
|
structural_match::provide(providers);
|
2020-01-13 12:40:30 +00:00
|
|
|
}
|