Module rustc::infer::higher_ranked[][src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Helper routines for higher-ranked things. See the doc module at the end of the file for details.

Re-exports

use super::CombinedSnapshot;
use super::InferCtxt;
use super::HigherRankedType;
use super::SubregionOrigin;
use super::SkolemizationMap;
use super::combine::CombineFields;
use super::region_constraints::TaintDirections;
use rustc_data_structures::lazy_btree_map::LazyBTreeMap;
use ty;
use ty::TyCtxt;
use ty::Binder;
use ty::TypeFoldable;
use ty::error::TypeError;
use ty::relate::Relate;
use ty::relate::RelateResult;
use ty::relate::TypeRelation;
use syntax_pos::Span;
use util::nodemap::FxHashMap;
use util::nodemap::FxHashSet;

Structs

HrMatchResult [
Experimental
]

Functions

fold_regions_in [
Experimental
]
is_var_in_set [
Experimental
]
var_ids [
Experimental
]