LL | fn uwu<const N: u8>() -> impl Traitor<N> {
| ^^^^^^^^^^^^^^^ the trait `Traitor<N, N>` is not implemented for `u32`
|
- = help: the following implementations were found:
+ = help: the following other types implement trait `Traitor<N, 2_u8>`:
<u32 as Traitor<N, 2_u8>>
<u64 as Traitor<1_u8, 2_u8>>
LL | fn owo() -> impl Traitor {
| ^^^^^^^^^^^^ the trait `Traitor<1_u8, 1_u8>` is not implemented for `u64`
|
- = help: the following implementations were found:
- <u64 as Traitor<1_u8, 2_u8>>
+ = help: the following other types implement trait `Traitor<N, 2_u8>`:
<u32 as Traitor<N, 2_u8>>
+ <u64 as Traitor<1_u8, 2_u8>>
error[E0277]: the trait bound `u64: Traitor<1_u8, 1_u8>` is not satisfied
--> $DIR/rp_impl_trait_fail.rs:24:26