Type Definition rustc::infer::SkolemizationMap
[−]
[src]
type SkolemizationMap<'tcx> = BTreeMap<BoundRegion, Region<'tcx>>;
🔬 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?
A map returned by skolemize_late_bound_regions()
indicating the skolemized
region that each late-bound region was replaced with.