summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-eval/const_fn_ptr_fail2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/const-eval/const_fn_ptr_fail2.rs')
-rw-r--r--src/test/ui/consts/const-eval/const_fn_ptr_fail2.rs20
1 files changed, 0 insertions, 20 deletions
diff --git a/src/test/ui/consts/const-eval/const_fn_ptr_fail2.rs b/src/test/ui/consts/const-eval/const_fn_ptr_fail2.rs
deleted file mode 100644
index b873940c4..000000000
--- a/src/test/ui/consts/const-eval/const_fn_ptr_fail2.rs
+++ /dev/null
@@ -1,20 +0,0 @@
-// compile-flags: -Zunleash-the-miri-inside-of-you
-
-fn double(x: usize) -> usize {
- x * 2
-}
-const X: fn(usize) -> usize = double;
-
-const fn bar(x: fn(usize) -> usize, y: usize) -> usize {
- x(y)
- //~^ ERROR evaluation of constant value failed
- //~| ERROR evaluation of constant value failed
-}
-
-const Y: usize = bar(X, 2); // FIXME: should fail to typeck someday
-const Z: usize = bar(double, 2); // FIXME: should fail to typeck someday
-
-fn main() {
- assert_eq!(Y, 4);
- assert_eq!(Z, 4);
-}