error[E0277]: the trait bound `i32: Bar<u32>` is not satisfied
  --> $DIR/cross-fn-cache-hole.rs:25:1
   |
LL | / fn vacuous<A>() //~ ERROR the trait bound `i32: Bar<u32>` is not satisfied
LL | |     where i32: Foo<u32, A>
LL | | {
LL | |     // ... the original intention was to check that we don't use that
...  |
LL | |     require::<i32, u32>();
LL | | }
   | |_^ the trait `Bar<u32>` is not implemented for `i32`
   |
   = help: see issue #48214
   = help: add #![feature(trivial_bounds)] to the crate attributes to enable

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.