1 error[E0277]: the trait bound `i32: Bar<u32>` is not satisfied
2 --> $DIR/cross-fn-cache-hole.rs:25:1
4 LL | / fn vacuous<A>() //~ ERROR the trait bound `i32: Bar<u32>` is not satisfied
5 LL | | where i32: Foo<u32, A>
7 LL | | // ... the original intention was to check that we don't use that
9 LL | | require::<i32, u32>();
11 | |_^ the trait `Bar<u32>` is not implemented for `i32`
13 = help: see issue #48214
14 = help: add #![feature(trivial_bounds)] to the crate attributes to enable
16 error: aborting due to previous error
18 For more information about this error, try `rustc --explain E0277`.