In https://github.com/rust-lang/rust/pull/101454/files#diff-46c19c4c60dbf4dc95fd23bdb31dbba31d7001a7f269c4068c536522a09f25deR1 The diagnostic looks a bit silly. I don't know why we are choosing a `'b` for the inner param. _Originally posted by @cjgillot in https://github.com/rust-lang/rust/pull/101454#discussion_r963015967_