src/test/ui/const-generics/auxiliary/crayte.rs

   1 // edition:2018
   2
   3 pub trait Foo<const N: usize> {}
   4 struct Local;
   5 impl<const N: usize> Foo<N> for Local {}
   6
   7 pub fn out_foo<const N: usize>() -> impl Foo<N> { Local }
   8 pub fn in_foo<const N: usize>(_: impl Foo<N>) {}
   9
  10 pub async fn async_simple<const N: usize>(_: [u8; N]) {}
  11 pub async fn async_out_foo<const N: usize>() -> impl Foo<N> { Local }
  12 pub async fn async_in_foo<const N: usize>(_: impl Foo<N>) {}
  13
  14 pub trait Bar<const N: usize> {
  15     type Assoc: Foo<N>;
  16 }