65the moment.
66
67▶TODO: write about _how_ these regions are computed.
68
69[`UniversalRegions`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_borrowck/universal_regions/struct.UniversalRegions.html
· · ·
223[`closure_bounds_mapping`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_borrowck/region_infer/struct.RegionInferenceContext.html#structfield.closure_bounds_mapping
224
225▶TODO: should we discuss any of the others fields? What about the SCCs?
226
227Ok, now that we have constructed a `RegionInferenceContext`, we can do