rustc::middle::infer::SkolemizationMapUnstable [-] [+] [src]

type SkolemizationMap = FnvHashMap<BoundRegion, Region>;

A map returned by skolemize_late_bound_regions() indicating the skolemized region that each late-bound region was replaced with.