src/test/ui/const-generics/integer-literal-generic-arg-in-where-clause.rs

   1 // check-pass
   2 // revisions: full min
   3
   4 #![cfg_attr(full, feature(const_generics))]
   5 #![cfg_attr(full, allow(incomplete_features))]
   6 #![cfg_attr(min, feature(min_const_generics))]
   7
   8 fn takes_closure_of_array_3<F>(f: F) where F: Fn([i32; 3]) {
   9     f([1, 2, 3]);
  10 }
  11
  12 fn takes_closure_of_array_3_apit(f: impl Fn([i32; 3])) {
  13     f([1, 2, 3]);
  14 }
  15
  16 fn returns_closure_of_array_3() -> impl Fn([i32; 3]) {
  17     |_| {}
  18 }
  19
  20 fn main() {
  21     takes_closure_of_array_3(returns_closure_of_array_3());
  22     takes_closure_of_array_3_apit(returns_closure_of_array_3());
  23 }