running 1 test test mutex_foreign_owner_and_wait_tokens_are_retained_on_refusal ... FAILED failures: failures: mutex_foreign_owner_and_wait_tokens_are_retained_on_refusal test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 33 filtered out; finished in 0.00s Compiling turkos-os-locking v0.1.0 (/reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-foreign-owner/os-locking) warning: field `scope` is never read --> src/mutex.rs:82:5 | 81 | pub struct Lease { | ----- field in this struct 82 | scope: u64, | ^^^^^ | = note: `Lease` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default warning: `turkos-os-locking` (lib) generated 1 warning Finished `test` profile [unoptimized + debuginfo] target(s) in 0.43s Running tests/locking.rs (reports/os-implementation/K961-K979-preparation-HHDGYT/mutant-mutex-foreign-owner/target/debug/build/turkos-os-locking/36db3b80b1dba7b1/out/locking-36db3b80b1dba7b1) thread 'mutex_foreign_owner_and_wait_tokens_are_retained_on_refusal' (41477654) panicked at tests/locking.rs:688:72: called `Option::unwrap()` on a `None` value note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace error: test failed, to rerun pass `--test locking`