rustc::middle::infer::SkolemizationMapExperimental [-]  [+] [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.