hir_ty/
next_solver.rs

1//! Things relevant to the next trait solver.
2
3pub mod abi;
4mod consts;
5mod def_id;
6pub mod fold;
7pub mod fulfill;
8mod generic_arg;
9pub mod generics;
10pub mod infer;
11pub(crate) mod inspect;
12pub mod interner;
13mod ir_print;
14pub mod normalize;
15pub mod obligation_ctxt;
16mod opaques;
17pub mod predicate;
18mod region;
19mod solver;
20mod structural_normalize;
21mod ty;
22pub mod util;
23
24pub use consts::*;
25pub use def_id::*;
26pub use generic_arg::*;
27pub use interner::*;
28pub use opaques::*;
29pub use predicate::*;
30pub use region::*;
31pub use solver::*;
32pub use ty::*;
33
34pub use crate::lower::ImplTraitIdx;
35pub use rustc_ast_ir::Mutability;
36
37pub type Binder<'db, T> = rustc_type_ir::Binder<DbInterner<'db>, T>;
38pub type EarlyBinder<'db, T> = rustc_type_ir::EarlyBinder<DbInterner<'db>, T>;
39pub type Canonical<'db, T> = rustc_type_ir::Canonical<DbInterner<'db>, T>;
40pub type CanonicalVarValues<'db> = rustc_type_ir::CanonicalVarValues<DbInterner<'db>>;
41pub type CanonicalVarKind<'db> = rustc_type_ir::CanonicalVarKind<DbInterner<'db>>;
42pub type CanonicalQueryInput<'db, V> = rustc_type_ir::CanonicalQueryInput<DbInterner<'db>, V>;
43pub type AliasTy<'db> = rustc_type_ir::AliasTy<DbInterner<'db>>;
44pub type FnSig<'db> = rustc_type_ir::FnSig<DbInterner<'db>>;
45pub type PolyFnSig<'db> = Binder<'db, rustc_type_ir::FnSig<DbInterner<'db>>>;
46pub type TypingMode<'db> = rustc_type_ir::TypingMode<DbInterner<'db>>;
47pub type TypeError<'db> = rustc_type_ir::error::TypeError<DbInterner<'db>>;
48pub type QueryResult<'db> = rustc_type_ir::solve::QueryResult<DbInterner<'db>>;
49pub type FxIndexMap<K, V> = rustc_type_ir::data_structures::IndexMap<K, V>;
hir_ty/next_solver.rs

hir_ty/
next_solver.rs
