rustc_middle/ty/
fast_reject.rs

1use rustc_hir::def_id::DefId;
2pub use rustc_type_ir::fast_reject::*;
3
4use super::TyCtxt;
5
6pub type DeepRejectCtxt<
7    'tcx,
8    const INSTANTIATE_LHS_WITH_INFER: bool,
9    const INSTANTIATE_RHS_WITH_INFER: bool,
10> = rustc_type_ir::fast_reject::DeepRejectCtxt<
11    TyCtxt<'tcx>,
12    INSTANTIATE_LHS_WITH_INFER,
13    INSTANTIATE_RHS_WITH_INFER,
14>;
15
16pub type SimplifiedType = rustc_type_ir::fast_reject::SimplifiedType<DefId>;