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

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