src/test/ui/const-generics/type-dependent/issue-69816.rs

   1 // run-pass
   2 // revisions: full min
   3 #![cfg_attr(full, feature(const_generics))]
   4 #![cfg_attr(full, allow(incomplete_features))]
   5 #![cfg_attr(min, feature(min_const_generics))]
   6
   7 trait IterExt: Sized + Iterator {
   8     fn default_for_size<const N: usize>(self) -> [Self::Item; N]
   9     where
  10         [Self::Item; N]: Default,
  11     {
  12         Default::default()
  13     }
  14 }
  15
  16 impl<T: Iterator> IterExt for T {}
  17
  18 fn main(){
  19     const N: usize = 10;
  20     let arr = (0u32..10).default_for_size::<N>();
  21     assert_eq!(arr, [0; 10]);
  22 }