summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/const-blocks/fn-call-in-const.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/const-blocks/fn-call-in-const.rs')
-rw-r--r--src/test/ui/consts/const-blocks/fn-call-in-const.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/consts/const-blocks/fn-call-in-const.rs b/src/test/ui/consts/const-blocks/fn-call-in-const.rs
deleted file mode 100644
index 20496f627..000000000
--- a/src/test/ui/consts/const-blocks/fn-call-in-const.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// run-pass
-
-#![feature(inline_const)]
-#![allow(unused)]
-
-// Some type that is not copyable.
-struct Bar;
-
-const fn type_no_copy() -> Option<Bar> {
- None
-}
-
-const fn type_copy() -> u32 {
- 3
-}
-
-const _: [u32; 2] = [type_copy(); 2];
-
-// This is allowed because all promotion contexts use the explicit rules for promotability when
-// inside an explicit const context.
-const _: [Option<Bar>; 2] = [const { type_no_copy() }; 2];
-
-fn main() {}