Module rustc_mir::borrow_check::region_infer::opaque_types