]>
Commit | Line | Data |
---|---|---|
064997fb | 1 | error[E0277]: the trait bound `Uwu<10, 12>: Trait` is not satisfied |
a2a8927a | 2 | --> $DIR/rp_impl_trait_fail.rs:6:14 |
3c0e092e XL |
3 | | |
4 | LL | fn rawr() -> impl Trait { | |
064997fb | 5 | | ^^^^^^^^^^ the trait `Trait` is not implemented for `Uwu<10, 12>` |
923072b8 FG |
6 | LL | |
7 | LL | Uwu::<10, 12> | |
064997fb | 8 | | ------------- return type was inferred to be `Uwu<10, 12>` here |
3c0e092e | 9 | | |
04454e1e | 10 | = help: the trait `Trait` is implemented for `Uwu<N>` |
3c0e092e | 11 | |
923072b8 | 12 | error[E0277]: the trait bound `u32: Traitor<N>` is not satisfied |
064997fb | 13 | --> $DIR/rp_impl_trait_fail.rs:16:26 |
3c0e092e XL |
14 | | |
15 | LL | fn uwu<const N: u8>() -> impl Traitor<N> { | |
923072b8 FG |
16 | | ^^^^^^^^^^^^^^^ the trait `Traitor<N>` is not implemented for `u32` |
17 | LL | | |
18 | LL | 1_u32 | |
19 | | ----- return type was inferred to be `u32` here | |
3c0e092e | 20 | | |
04454e1e | 21 | = help: the following other types implement trait `Traitor<N, M>`: |
064997fb FG |
22 | <u32 as Traitor<N, 2>> |
23 | <u64 as Traitor<1, 2>> | |
3c0e092e | 24 | |
923072b8 | 25 | error[E0277]: the trait bound `u64: Traitor` is not satisfied |
064997fb | 26 | --> $DIR/rp_impl_trait_fail.rs:21:13 |
3c0e092e XL |
27 | | |
28 | LL | fn owo() -> impl Traitor { | |
923072b8 FG |
29 | | ^^^^^^^^^^^^ the trait `Traitor` is not implemented for `u64` |
30 | LL | | |
31 | LL | 1_u64 | |
32 | | ----- return type was inferred to be `u64` here | |
3c0e092e | 33 | | |
04454e1e | 34 | = help: the following other types implement trait `Traitor<N, M>`: |
064997fb FG |
35 | <u32 as Traitor<N, 2>> |
36 | <u64 as Traitor<1, 2>> | |
3c0e092e XL |
37 | |
38 | error: aborting due to 3 previous errors | |
39 | ||
40 | For more information about this error, try `rustc --explain E0277`. |