Enum miri::eval::MainThreadState
source · enum MainThreadState {
Running,
TlsDtors(TlsDtorsState),
Yield {
remaining: u32,
},
Done,
}
Expand description
The state of the main thread. Implementation detail of on_main_stack_empty
.
Variants§
Implementations§
source§impl MainThreadState
impl MainThreadState
fn on_main_stack_empty<'tcx>(
&mut self,
this: &mut MiriInterpCx<'_, 'tcx>
) -> InterpResult<'tcx, Poll<()>>
Trait Implementations§
source§impl Debug for MainThreadState
impl Debug for MainThreadState
source§impl Default for MainThreadState
impl Default for MainThreadState
source§fn default() -> MainThreadState
fn default() -> MainThreadState
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl RefUnwindSafe for MainThreadState
impl Send for MainThreadState
impl Sync for MainThreadState
impl Unpin for MainThreadState
impl UnwindSafe for MainThreadState
Blanket Implementations§
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes
Size for each variant:
Running
: 0 bytesTlsDtors
: 24 bytesYield
: 12 bytesDone
: 0 bytes