diff options
Diffstat (limited to 'src/test/ui/const-generics/fn-const-param-infer.rs')
| -rw-r--r-- | src/test/ui/const-generics/fn-const-param-infer.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/const-generics/fn-const-param-infer.rs b/src/test/ui/const-generics/fn-const-param-infer.rs deleted file mode 100644 index 22f5f529c76..00000000000 --- a/src/test/ui/const-generics/fn-const-param-infer.rs +++ /dev/null @@ -1,29 +0,0 @@ -// revisions: full min - -#![cfg_attr(full, feature(adt_const_params))] -#![cfg_attr(full, allow(incomplete_features))] - -struct Checked<const F: fn(usize) -> bool>; -//~^ ERROR: using function pointers as const generic parameters - -fn not_one(val: usize) -> bool { val != 1 } -fn not_two(val: usize) -> bool { val != 2 } - -fn generic_arg<T>(val: T) -> bool { true } - -fn generic<T>(val: usize) -> bool { val != 1 } - -fn main() { - let _: Option<Checked<not_one>> = None; - let _: Checked<not_one> = Checked::<not_one>; - let _: Checked<not_one> = Checked::<not_two>; - - let _ = Checked::<generic_arg>; - let _ = Checked::<{generic_arg::<usize>}>; - let _ = Checked::<{generic_arg::<u32>}>; - - let _ = Checked::<generic>; - let _ = Checked::<{generic::<u16>}>; - let _: Checked<{generic::<u16>}> = Checked::<{generic::<u16>}>; - let _: Checked<{generic::<u32>}> = Checked::<{generic::<u16>}>; -} |
