running 1 test
test same_caller_scope_ids_cannot_unpin_an_independent_mapping ... FAILED

failures:

failures:
    same_caller_scope_ids_cannot_unpin_an_independent_mapping

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 14 filtered out; finished in 0.00s

   Compiling turkos-os-page-tables v0.1.0 (<project>/os-page-tables)
   Compiling turkos-os-mapping v0.1.0 (<project>/reports/os-implementation/K841-K859-preparation-JcE65w/mutant-foreign-pin/os-mapping)
warning: field `scope` is never read
   --> src/mapping.rs:106:5
    |
104 | pub struct Pin<const N: usize> {
    |            --- field in this struct
105 |     owner: Owner,
106 |     scope: u64,
    |     ^^^^^
    |
    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default

warning: `turkos-os-mapping` (lib) generated 1 warning
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.37s
     Running tests/mapping.rs (reports/os-implementation/K841-K859-preparation-JcE65w/mutant-foreign-pin/target/debug/build/turkos-os-mapping/70ad7af85627c63f/out/mapping-70ad7af85627c63f)

thread 'same_caller_scope_ids_cannot_unpin_an_independent_mapping' (41133285) panicked at tests/mapping.rs:305:5:
assertion `left == right` failed
  left: Ok(())
 right: Err(StalePin)
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
error: test failed, to rerun pass `--test mapping`