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