about summary refs log tree commit diff
path: root/src/test/ui/const-generics/fn-const-param-infer.rs
diff options
context:
space:
mode:
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.rs29
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>}>;
-}