| error[E0277]: the trait bound `i32: Bar<u32>` is not satisfied |
| --> $DIR/cross-fn-cache-hole.rs:16:11 |
| | |
| LL | where i32: Foo<u32, A> |
| | ^^^^^^^^^^^^^^^^ the trait `Bar<u32>` is not implemented for `i32` |
| | |
| help: this trait has no implementations, consider adding one |
| --> $DIR/cross-fn-cache-hole.rs:11:1 |
| | |
| LL | trait Bar<X> { } |
| | ^^^^^^^^^^^^ |
| = help: see issue #48214 |
| help: add `#![feature(trivial_bounds)]` to the crate attributes to enable |
| | |
| LL + #![feature(trivial_bounds)] |
| | |
| |
| error[E0277]: the trait bound `i32: Bar<u32>` is not satisfied |
| --> $DIR/cross-fn-cache-hole.rs:30:15 |
| | |
| LL | require::<i32, u32>(); |
| | ^^^ the trait `Bar<u32>` is not implemented for `i32` |
| | |
| help: this trait has no implementations, consider adding one |
| --> $DIR/cross-fn-cache-hole.rs:11:1 |
| | |
| LL | trait Bar<X> { } |
| | ^^^^^^^^^^^^ |
| note: required by a bound in `require` |
| --> $DIR/cross-fn-cache-hole.rs:25:14 |
| | |
| LL | fn require<A,B>() |
| | ------- required by a bound in this function |
| LL | where A: Bar<B> |
| | ^^^^^^ required by this bound in `require` |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0277`. |