| //! This crate defines the trait resolution method. | |
| //! | |
| //! - **Traits.** Trait resolution is implemented in the `traits` module. | |
| //! | |
| //! For more information about how rustc works, see the [rustc-dev-guide]. | |
| //! | |
| //! [rustc-dev-guide]: https://rustc-dev-guide.rust-lang.org/ | |
| //! | |
| //! # Note | |
| //! | |
| //! This API is completely unstable and subject to change. | |
| // tidy-alphabetical-start | |
| #![cfg_attr(bootstrap, feature(assert_matches))] | |
| #![feature(associated_type_defaults)] | |
| #![feature(box_patterns)] | |
| #![feature(default_field_values)] | |
| #![feature(hash_set_entry)] | |
| #![feature(if_let_guard)] | |
| #![feature(iter_intersperse)] | |
| #![feature(iterator_try_reduce)] | |
| #![feature(never_type)] | |
| #![feature(strip_circumfix)] | |
| #![feature(try_blocks)] | |
| #![feature(unwrap_infallible)] | |
| #![feature(yeet_expr)] | |
| #![recursion_limit = "512"] // For rustdoc | |
| // tidy-alphabetical-end | |
| pub mod error_reporting; | |
| pub mod errors; | |
| pub mod infer; | |
| pub mod opaque_types; | |
| pub mod regions; | |
| pub mod solve; | |
| pub mod traits; |