]>
Commit | Line | Data |
---|---|---|
dfeec247 XL |
1 | //! Various checks |
2 | //! | |
3 | //! # Note | |
4 | //! | |
5 | //! This API is completely unstable and subject to change. | |
6 | ||
1b1a35ee | 7 | #![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")] |
353b0b11 | 8 | #![feature(iterator_try_collect)] |
2b03887a | 9 | #![feature(let_chains)] |
064997fb FG |
10 | #![feature(never_type)] |
11 | #![feature(box_patterns)] | |
dfeec247 | 12 | #![recursion_limit = "256"] |
353b0b11 FG |
13 | #![deny(rustc::untranslatable_diagnostic)] |
14 | #![deny(rustc::diagnostic_outside_of_impl)] | |
dfeec247 XL |
15 | |
16 | #[macro_use] | |
ba9703b0 | 17 | extern crate rustc_middle; |
dfeec247 | 18 | #[macro_use] |
3dfed10e | 19 | extern crate tracing; |
dfeec247 | 20 | |
9ffffee4 FG |
21 | use rustc_errors::{DiagnosticMessage, SubdiagnosticMessage}; |
22 | use rustc_macros::fluent_messages; | |
ba9703b0 | 23 | use rustc_middle::ty::query::Providers; |
dfeec247 | 24 | |
2b03887a | 25 | mod abi; |
5099ac24 | 26 | mod assoc; |
74b04a01 | 27 | mod common_traits; |
064997fb | 28 | mod consts; |
f2b60f7d FG |
29 | mod errors; |
30 | mod implied_bounds; | |
74b04a01 | 31 | pub mod instance; |
2b03887a FG |
32 | mod layout; |
33 | mod layout_sanity_check; | |
74b04a01 | 34 | mod needs_drop; |
cdc7bbd5 | 35 | pub mod representability; |
487cf647 | 36 | mod structural_match; |
dfeec247 XL |
37 | mod ty; |
38 | ||
353b0b11 | 39 | fluent_messages! { "../messages.ftl" } |
9ffffee4 | 40 | |
f035d41b | 41 | pub fn provide(providers: &mut Providers) { |
2b03887a | 42 | abi::provide(providers); |
5099ac24 | 43 | assoc::provide(providers); |
74b04a01 | 44 | common_traits::provide(providers); |
064997fb | 45 | consts::provide(providers); |
f2b60f7d | 46 | implied_bounds::provide(providers); |
2b03887a | 47 | layout::provide(providers); |
74b04a01 | 48 | needs_drop::provide(providers); |
2b03887a | 49 | representability::provide(providers); |
dfeec247 | 50 | ty::provide(providers); |
ba9703b0 | 51 | instance::provide(providers); |
487cf647 | 52 | structural_match::provide(providers); |
dfeec247 | 53 | } |