See summary and rationale in https://github.com/rust-lang/rust/issues/84385 and https://rust-lang.zulipchat.com/#narrow/stream/326866-t-types.2Fnominated/topic/.2384385.3A.20Enforce.20that.20.60closure.3A.20'a.60.20requires.20that.20.60closure_r.E2.80.A6