mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-09 16:37:36 +00:00
d576f7d42d
Remove `in_band_lifetimes` from `rustc_infer` See #91867 for more information. This crate actually had a typo `'ctx` in one of its functions: ```diff -pub fn same_type_modulo_infer(a: Ty<'tcx>, b: Ty<'ctx>) -> bool { +pub fn same_type_modulo_infer<'tcx>(a: Ty<'tcx>, b: Ty<'tcx>) -> bool { ``` Also, I wasn't entirely sure about the lifetimes in `suggest_new_region_bound`: ```diff pub fn suggest_new_region_bound( - tcx: TyCtxt<'tcx>, + tcx: TyCtxt<'_>, err: &mut DiagnosticBuilder<'_>, fn_returns: Vec<&rustc_hir::Ty<'_>>, ``` Should all of those lifetimes really be distinct?
39 lines
1.1 KiB
Rust
39 lines
1.1 KiB
Rust
//! This crates defines the type inference engine.
|
|
//!
|
|
//! - **Type inference.** The type inference code can be found in the `infer` module;
|
|
//! this code handles low-level equality and subtyping operations. The
|
|
//! type check pass in the compiler is found in the `rustc_typeck` crate.
|
|
//!
|
|
//! 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.
|
|
|
|
#![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")]
|
|
#![feature(bool_to_option)]
|
|
#![feature(box_patterns)]
|
|
#![feature(derive_default_enum)]
|
|
#![feature(extend_one)]
|
|
#![feature(let_else)]
|
|
#![feature(never_type)]
|
|
#![feature(control_flow_enum)]
|
|
#![feature(min_specialization)]
|
|
#![feature(label_break_value)]
|
|
#![recursion_limit = "512"] // For rustdoc
|
|
|
|
#[macro_use]
|
|
extern crate rustc_macros;
|
|
#[cfg(all(target_arch = "x86_64", target_pointer_width = "64"))]
|
|
#[macro_use]
|
|
extern crate rustc_data_structures;
|
|
#[macro_use]
|
|
extern crate tracing;
|
|
#[macro_use]
|
|
extern crate rustc_middle;
|
|
|
|
pub mod infer;
|
|
pub mod traits;
|