joboet

note: tracking was triggered
   --> /Users/Jonas/.rustup/toolchains/miri/lib/rustlib/src/rust/library/std/src/sys/locks/rwlock/queue.rs:200:6
    |
200 |     }
    |      ^ created stack variable allocation of 40 bytes (alignment 8 bytes) with id 702309
    |
    = note: BACKTRACE on thread `unnamed-9`:
    = note: inside `std::sys::locks::rwlock::queue::Node::new` at /Users/Jonas/.rustup/toolchains/miri/lib/rustlib/src/rust/library/std/src/sys/locks/rwlock/queue.rs:200:6: 200:6
    = note: inside `std::sys::locks::rwlock::queue::RwLock::lock_contended` at /Users/Jonas/.rustup/toolchains/miri/lib/rustlib/src/rust/library/std/src/sys/locks/rwlock/queue.rs:319:24: 319:40
    = note: inside `std::sys::locks::rwlock::queue::RwLock::write` at /Users/Jonas/.rustup/toolchains/miri/lib/rustlib/src/rust/library/std/src/sys/locks/rwlock/queue.rs:312:13: 312:38

joboet

• Feature Name: pattern_types
• Start Date: (fill me in with today's date, YYYY-MM-DD)
• RFC PR: rust-lang/rfcs#0000
• Rust Issue: rust-lang/rust#0000

Summary

This RFC introduces pattern types, which are subtypes of matchable types that are statically restricted to a subset of the variants of the original type.

joboet

Empty lifetime and Destruct trait

Reference-level explanation

Terms

A lifetime defines a region of time in the execution of a program. It is the continuous range of operations bounded by the creation of a reference and its invalidation.

To enable useful reasoning about lifetimes, lifetimes have a relation between them:

joboet

#![allow(non_camel_case_types)]
use std::{
    mem::MaybeUninit,
    sync::{
        atomic::{AtomicBool, Ordering::SeqCst},
        Arc,
    },
    thread,
    time::Duration,
};