miri::shims::unix::sync

Function mutex_kind_from_static_initializer

Source
fn mutex_kind_from_static_initializer<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
    mutex: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, MutexKind>
Expand description

Returns the kind of a static initializer.