src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.migrate.nll.stderr

error: lifetime may not live long enough
  --> $DIR/regions-assoc-type-in-supertrait-outlives-container.rs:39:12
   |
LL | fn with_assoc<'a,'b>() {
   |               -- -- lifetime `'b` defined here
   |               |
   |               lifetime `'a` defined here
...
LL |     let _: &'a WithAssoc<TheType<'b>> = loop { };
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
   |
   = help: consider adding the following bound: `'b: 'a`

error: aborting due to previous error