341 |         if !self.is_empty() {
    |                  ^^^^^^^^ method cannot be called on `&mut infer::InferCtxt<'tcx>` due to unsatisfied trait bounds
    |
    = note: the following trait bounds were not satisfied:
            `infer::InferCtxt<'tcx>: ExactSizeIterator`
            which is required by `&mut infer::InferCtxt<'tcx>: ExactSizeIterator`
note: the trait `ExactSizeIterator` must be implemented
   --> /rustc/ef0fb8a2563200e322fa4419f09f65a63742038c/library/core/src/iter/traits/exact_size.rs:86:0
    = help: items from traits can only be used if the trait is implemented and in scope
    = note: the following traits define an item `is_empty`, perhaps you need to implement one of them:
            candidate #1: `ExactSizeIterator`
            candidate #2: `RangeBounds`

error[E0609]: no field `opaque_types` on type `&mut infer::InferCtxt<'tcx>`
   --> compiler/rustc_infer/src/infer/mod.rs:342:76
    |
342 |             ty::tls::with(|tcx| tcx.dcx().delayed_bug(format!("{:?}", self.opaque_types)));
    |                                                                            ^^^^^^^^^^^^ unknown field
    |
    = note: available fields are: `tcx`, `typing_mode`, `considering_regions`, `in_hir_typeck`, `skip_leak_check` ... and 10 others

Some errors have detailed explanations: E0599, E0609.
For more information about an error, try `rustc --explain E0599`.
[RUSTC-TIMING] rustc_infer test:false 2.288
error: `rustc_infer` (lib) generated 1 warning