tests/ui/const-generics/defaults/rp_impl_trait_fail.rs

   1 struct Uwu<const N: u32 = 1, const M: u32 = N>;
   2
   3 trait Trait {}
   4 impl<const N: u32> Trait for Uwu<N> {}
   5
   6 fn rawr() -> impl Trait {
   7     //~^ error: the trait bound `Uwu<10, 12>: Trait` is not satisfied
   8     Uwu::<10, 12>
   9 }
  10
  11 trait Traitor<const N: u8 = 1, const M: u8 = N> {}
  12
  13 impl<const N: u8> Traitor<N, 2> for u32 {}
  14 impl Traitor<1, 2> for u64 {}
  15
  16 fn uwu<const N: u8>() -> impl Traitor<N> {
  17     //~^ error: the trait bound `u32: Traitor<N>` is not satisfied
  18     1_u32
  19 }
  20
  21 fn owo() -> impl Traitor {
  22     //~^ error: the trait bound `u64: Traitor` is not satisfied
  23     1_u64
  24 }
  25
  26 fn main() {
  27     rawr();
  28     uwu();
  29     owo();
  30 }