| error[E0277]: the trait bound `i32: Bar<u32>` is not satisfied |
| --> $DIR/cross-fn-cache-hole.rs:15: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`. |
