rustc_borrowck::region_infer::opaque_types