fn foo18(value: Registers) {}
fn foo19(value: &dyn Foo) {}
fn foo20(value: &[Adt]) {}
-// FIXME: Uncomment once #1257 is fixed
-// fn foo21(value: fn(i32)) {}
-// fn foo22(value: fn()) {}
+fn foo21(value: fn(i32)) {}
+fn foo22(value: fn()) {}
fn foo23(value: fn() -> i32) {}
fn main() {
- let arr0: [i32; 5] = [1, 2, 3, 4, 5];
- let arr1: [i32; 5] = [1, 2, 3, 4, 5];
- let arr2: [i32; 5] = [1, 2, 3, 4, 5];
- let arr3: [_; 5] = [1, 2, 3, 4, 5];
-}
\ No newline at end of file
+ let _arr0: [i32; 5] = [1, 2, 3, 4, 5];
+ let _arr1: [i32; 5] = [1, 2, 3, 4, 5];
+ let _arr2: [i32; 5] = [1, 2, 3, 4, 5];
+ let _arr3: [_; 5] = [1, 2, 3, 4, 5];
+}