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.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".