2020-03-20 09:36:40 +00:00
|
|
|
//@ check-pass
|
2020-03-18 20:08:52 +00:00
|
|
|
|
2023-05-19 09:19:31 +00:00
|
|
|
#![allow(forgetting_copy_types)]
|
2023-03-29 20:18:20 +00:00
|
|
|
|
2020-03-18 20:08:52 +00:00
|
|
|
use std::mem::forget;
|
|
|
|
|
|
|
|
|
|
const _: () = forget(0i32);
|
|
|
|
|
const _: () = forget(Vec::<Vec<Box<i32>>>::new());
|
|
|
|
|
|
|
|
|
|
// Writing this function signature without const-forget
|
|
|
|
|
// triggers compiler errors:
|
|
|
|
|
// 1) That we use a non-const fn inside a const fn
|
|
|
|
|
// 2) without the forget, it complains about the destructor of Box
|
|
|
|
|
//
|
|
|
|
|
// FIXME: this method cannot be called in const-eval yet, as Box isn't
|
|
|
|
|
// const constructable
|
|
|
|
|
#[allow(unused)]
|
|
|
|
|
const fn const_forget_box<T: ?Sized>(b: Box<T>) {
|
|
|
|
|
forget(b);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() {}
|
