1 struct Uwu<const N: u32 = 1, const M: u32 = N>;
4 impl<const N: u32> Trait for Uwu<N> {}
6 fn rawr() -> impl Trait {
7 //~^ error: the trait bound `Uwu<10, 12>: Trait` is not satisfied
11 trait Traitor<const N: u8 = 1, const M: u8 = N> {}
13 impl<const N: u8> Traitor<N, 2> for u32 {}
14 impl Traitor<1, 2> for u64 {}
16 fn uwu<const N: u8>() -> impl Traitor<N> {
17 //~^ error: the trait bound `u32: Traitor<N>` is not satisfied
21 fn owo() -> impl Traitor {
22 //~^ error: the trait bound `u64: Traitor` is not satisfied