src/test/ui/const-generics/defaults/rp_impl_trait.rs

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