pub trait FnGhost: _Sealed { }Expand description
Marker trait for functions that are #[check(ghost)].
Right now, this is automatically implemented for #[check(ghost)] closures,
but not functions or methods.
pub trait FnGhost: _Sealed { }Marker trait for functions that are #[check(ghost)].
Right now, this is automatically implemented for #[check(ghost)] closures,
but not functions or methods.