diff options
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.rs | 23 |
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() {} |