src/test/ui/const-generics/min_const_generics/type_and_const_defaults.rs

   1 // run-pass
   2 #![feature(const_generics)]
   3 #![feature(const_generics_defaults)]
   4 #![allow(incomplete_features, dead_code)]
   5
   6 struct Both<T=u32, const N: usize=3> {
   7   arr: [T; N]
   8 }
   9
  10 trait BothTrait<T=u32, const N: usize=3> {}
  11
  12 enum BothEnum<T=u32, const N: usize=3> {
  13   Dummy([T; N])
  14 }
  15
  16 struct OppOrder<const N: usize=3, T=u32> {
  17   arr: [T; N]
  18 }
  19
  20 fn main() {
  21   let _ = OppOrder::<3, u32> {
  22     arr: [0,0,0],
  23   };
  24   let _ = Both::<u8, 1> {
  25     arr: [0],
  26   };
  27 }