1use crate::prelude::*;
2#[cfg(creusot)]
3use core::cell::UnsafeCell;
4
5extern_spec! {
6 impl<T> UnsafeCell<T> {
7 #[check(ghost)]
8 fn new(value: T) -> UnsafeCell<T>;
9 }
10
11 impl<T: ?Sized> UnsafeCell<T> {
12 #[check(ghost)]
13 fn get(&self) -> *mut T;
14 }
15}