hir_ty/
next_solver.rs

1//! Things relevant to the next trait solver.
2#![allow(unused, unreachable_pub)]
3
4pub mod abi;
5mod consts;
6mod def_id;
7pub mod fold;
8mod fulfill;
9mod generic_arg;
10pub mod generics;
11pub mod infer;
12//mod infer_new;
13pub mod interner;
14mod ir_print;
15pub mod mapping;
16mod opaques;
17pub mod predicate;
18pub(crate) mod project;
19mod region;
20mod solver;
21mod ty;
22pub mod util;
23
24pub use consts::*;
25pub use def_id::*;
26pub use generic_arg::*;
27//pub use infer_new::*;
28pub use interner::*;
29pub use opaques::*;
30pub use predicate::*;
31pub use region::*;
32pub use solver::*;
33pub use ty::*;
34
35pub type Binder<'db, T> = rustc_type_ir::Binder<DbInterner<'db>, T>;
36pub type EarlyBinder<'db, T> = rustc_type_ir::EarlyBinder<DbInterner<'db>, T>;
37pub type Canonical<'db, T> = rustc_type_ir::Canonical<DbInterner<'db>, T>;
38pub type CanonicalVarValues<'db> = rustc_type_ir::CanonicalVarValues<DbInterner<'db>>;
39pub type CanonicalVarKind<'db> = rustc_type_ir::CanonicalVarKind<DbInterner<'db>>;
40pub type CanonicalQueryInput<'db, V> = rustc_type_ir::CanonicalQueryInput<DbInterner<'db>, V>;
41pub type AliasTy<'db> = rustc_type_ir::AliasTy<DbInterner<'db>>;
42pub type PolyFnSig<'db> = Binder<'db, rustc_type_ir::FnSig<DbInterner<'db>>>;
43pub type TypingMode<'db> = rustc_type_ir::TypingMode<DbInterner<'db>>;
44
45pub type FxIndexMap<K, V> =
46    indexmap::IndexMap<K, V, std::hash::BuildHasherDefault<rustc_hash::FxHasher>>;
hir_ty/next_solver.rs

hir_ty/
next_solver.rs
