[INFO] fetching crate biscuit-auth 4.0.0...
[INFO] checking biscuit-auth-4.0.0 against master#4d1bd0db7f489b22c6d8aa2385937a95412c015b for pr-114682
[INFO] extracting crate biscuit-auth 4.0.0 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate biscuit-auth 4.0.0 on toolchain 4d1bd0db7f489b22c6d8aa2385937a95412c015b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate biscuit-auth 4.0.0
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate biscuit-auth 4.0.0
[INFO] tweaked toml for crates.io crate biscuit-auth 4.0.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate crates.io crate biscuit-auth 4.0.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded difflib v0.4.0
[INFO] [stderr]   Downloaded semver v1.0.18
[INFO] [stderr]   Downloaded platforms v3.0.2
[INFO] [stderr]   Downloaded thiserror v1.0.32
[INFO] [stderr]   Downloaded target-lexicon v0.11.2
[INFO] [stderr]   Downloaded serde_derive v1.0.143
[INFO] [stderr]   Downloaded multimap v0.8.3
[INFO] [stderr]   Downloaded predicates v1.0.8
[INFO] [stderr]   Downloaded normalize-line-endings v0.3.0
[INFO] [stderr]   Downloaded ed25519 v2.2.2
[INFO] [stderr]   Downloaded bencher v0.1.5
[INFO] [stderr]   Downloaded wait-timeout v0.2.0
[INFO] [stderr]   Downloaded predicates v2.1.1
[INFO] [stderr]   Downloaded pest v2.2.1
[INFO] [stderr]   Downloaded fiat-crypto v0.1.20
[INFO] [stderr]   Downloaded curve25519-dalek v4.0.0
[INFO] [stderr]   Downloaded libc v0.2.144
[INFO] [stderr]   Downloaded prost-build v0.10.4
[INFO] [stderr]   Downloaded inline-c v0.1.6
[INFO] [stderr]   Downloaded assert_cmd v1.0.8
[INFO] [stderr]   Downloaded serde v1.0.143
[INFO] [stderr]   Downloaded difference v2.0.0
[INFO] [stderr]   Downloaded chrono v0.4.27
[INFO] [stderr]   Downloaded biscuit-parser v0.1.2
[INFO] [stderr]   Downloaded float-cmp v0.8.0
[INFO] [stderr]   Downloaded ucd-trie v0.1.4
[INFO] [stderr]   Downloaded anyhow v1.0.61
[INFO] [stderr]   Downloaded uuid v1.2.1
[INFO] [stderr]   Downloaded sha2 v0.10.7
[INFO] [stderr]   Downloaded time v0.3.13
[INFO] [stderr]   Downloaded itertools v0.10.3
[INFO] [stderr]   Downloaded colored-diff v0.2.3
[INFO] [stderr]   Downloaded predicates-core v1.0.3
[INFO] [stderr]   Downloaded signature v2.1.0
[INFO] [stderr]   Downloaded doc-comment v0.3.3
[INFO] [stderr]   Downloaded prost-types v0.10.1
[INFO] [stderr]   Downloaded inline-c-macro v0.1.5
[INFO] [stderr]   Downloaded rustc_version v0.3.3
[INFO] [stderr]   Downloaded cmake v0.1.50
[INFO] [stderr]   Downloaded dissimilar v1.0.4
[INFO] [stderr]   Downloaded iana-time-zone v0.1.57
[INFO] [stderr]   Downloaded either v1.7.0
[INFO] [stderr]   Downloaded bumpalo v3.10.0
[INFO] [stderr]   Downloaded termtree v0.2.4
[INFO] [stderr]   Downloaded prost v0.10.4
[INFO] [stderr]   Downloaded semver-parser v0.10.2
[INFO] [stderr]   Downloaded semver v0.11.0
[INFO] [stderr]   Downloaded prost-derive v0.10.1
[INFO] [stderr]   Downloaded thiserror-impl v1.0.32
[INFO] [stderr]   Downloaded biscuit-quote v0.2.2
[INFO] [stderr]   Downloaded indexmap v2.0.0
[INFO] [stderr]   Downloaded cpufeatures v0.2.9
[INFO] [stderr]   Downloaded predicates-tree v1.0.5
[INFO] [stderr]   Downloaded serde_json v1.0.83
[INFO] [stderr]   Downloaded once_cell v1.13.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 09449dfacee3939324e8615645477bfa9cba805ab93ce44fcf116b53ddde0e52
[INFO] running `Command { std: "docker" "start" "-a" "09449dfacee3939324e8615645477bfa9cba805ab93ce44fcf116b53ddde0e52", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "09449dfacee3939324e8615645477bfa9cba805ab93ce44fcf116b53ddde0e52", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "09449dfacee3939324e8615645477bfa9cba805ab93ce44fcf116b53ddde0e52", kill_on_drop: false }`
[INFO] [stdout] 09449dfacee3939324e8615645477bfa9cba805ab93ce44fcf116b53ddde0e52
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 31965672964f2a7e1a06c96c2c25321f28d4d9d24bc993ded8872f5b7118576a
[INFO] running `Command { std: "docker" "start" "-a" "31965672964f2a7e1a06c96c2c25321f28d4d9d24bc993ded8872f5b7118576a", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.66
[INFO] [stderr]    Compiling libc v0.2.144
[INFO] [stderr]    Compiling unicode-ident v1.0.3
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling typenum v1.15.0
[INFO] [stderr]    Compiling either v1.7.0
[INFO] [stderr]    Compiling semver v1.0.18
[INFO] [stderr]    Compiling generic-array v0.14.6
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling platforms v3.0.2
[INFO] [stderr]    Compiling anyhow v1.0.61
[INFO] [stderr]    Compiling serde_derive v1.0.143
[INFO] [stderr]     Checking cpufeatures v0.2.9
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling serde v1.0.143
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling num_threads v0.1.6
[INFO] [stderr]    Compiling itertools v0.10.3
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]     Checking itoa v1.0.3
[INFO] [stderr]     Checking bytes v1.2.1
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]     Checking subtle v2.4.1
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]     Checking ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling nom v7.1.1
[INFO] [stderr]     Checking aho-corasick v0.7.18
[INFO] [stderr]     Checking regex-syntax v0.6.27
[INFO] [stderr]    Compiling rustc_version v0.4.0
[INFO] [stderr]     Checking hashbrown v0.14.0
[INFO] [stderr]     Checking signature v2.1.0
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]     Checking zeroize v1.6.0
[INFO] [stderr]     Checking quote v1.0.32
[INFO] [stderr]    Compiling curve25519-dalek v4.0.0
[INFO] [stderr]     Checking ed25519 v2.2.2
[INFO] [stderr]     Checking getrandom v0.2.10
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling syn v2.0.28
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling time v0.3.13
[INFO] [stderr]     Checking indexmap v2.0.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking opaque-debug v0.3.0
[INFO] [stderr]     Checking fixedbitset v0.4.2
[INFO] [stderr]     Checking fastrand v1.8.0
[INFO] [stderr]    Compiling biscuit-auth v4.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]    Compiling serde_json v1.0.83
[INFO] [stderr]     Checking tempfile v3.3.0
[INFO] [stderr]     Checking petgraph v0.6.4
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking time v0.1.45
[INFO] [stderr]     Checking multimap v0.8.3
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking regex v1.6.0
[INFO] [stderr]     Checking block-buffer v0.9.0
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking ryu v1.0.11
[INFO] [stderr]     Checking base64 v0.13.0
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking heck v0.4.1
[INFO] [stderr]     Checking sha2 v0.9.9
[INFO] [stderr]     Checking dissimilar v1.0.4
[INFO] [stderr]     Checking ansi_term v0.12.1
[INFO] [stderr]     Checking iana-time-zone v0.1.57
[INFO] [stderr]     Checking bencher v0.1.5
[INFO] [stderr]     Checking sha2 v0.10.7
[INFO] [stderr]    Compiling prost-build v0.10.4
[INFO] [stderr]     Checking colored-diff v0.2.3
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.32
[INFO] [stderr]    Compiling prost-derive v0.10.1
[INFO] [stderr]     Checking ed25519-dalek v2.0.0
[INFO] [stderr]    Compiling thiserror v1.0.32
[INFO] [stderr]    Compiling biscuit-parser v0.1.2
[INFO] [stderr]     Checking prost v0.10.4
[INFO] [stderr]     Checking prost-types v0.10.1
[INFO] [stderr]    Compiling biscuit-quote v0.2.2
[INFO] [stdout] warning: unused import: `snapshot::*`
[INFO] [stdout]   --> src/token/authorizer.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use snapshot::*;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking chrono v0.4.27
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> benches/token.rs:37:13
[INFO] [stdout]    |
[INFO] [stdout] 37 |         let data = token.to_vec().unwrap();
[INFO] [stdout]    |             ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> benches/token.rs:72:13
[INFO] [stdout]    |
[INFO] [stdout] 72 |         let data = token2.to_vec().unwrap();
[INFO] [stdout]    |             ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]    --> benches/token.rs:126:13
[INFO] [stdout]     |
[INFO] [stdout] 126 |         let data = token5.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]    --> benches/token.rs:161:13
[INFO] [stdout]     |
[INFO] [stdout] 161 |         let data = token2.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]    --> benches/token.rs:215:13
[INFO] [stdout]     |
[INFO] [stdout] 215 |         let data = token5.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_data`
[INFO] [stdout]    --> benches/token.rs:233:13
[INFO] [stdout]     |
[INFO] [stdout] 233 |         let base_data = token.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_data`
[INFO] [stdout]    --> benches/token.rs:278:13
[INFO] [stdout]     |
[INFO] [stdout] 278 |         let base_data = token.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_data`
[INFO] [stdout]    --> benches/token.rs:344:13
[INFO] [stdout]     |
[INFO] [stdout] 344 |         let base_data = token.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> benches/token.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |         let token = Biscuit::from(&data, &root.public()).unwrap();
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_token`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_data`
[INFO] [stdout]    --> benches/token.rs:384:13
[INFO] [stdout]     |
[INFO] [stdout] 384 |         let base_data = token.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> benches/token.rs:426:13
[INFO] [stdout]     |
[INFO] [stdout] 426 |         let token = Biscuit::from(&data, &root.public()).unwrap();
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_token`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_data`
[INFO] [stdout]    --> benches/token.rs:444:13
[INFO] [stdout]     |
[INFO] [stdout] 444 |         let base_data = token.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_data`
[INFO] [stdout]    --> benches/token.rs:486:13
[INFO] [stdout]     |
[INFO] [stdout] 486 |         let base_data = token.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verifier`
[INFO] [stdout]    --> benches/token.rs:506:17
[INFO] [stdout]     |
[INFO] [stdout] 506 |         let mut verifier = token.authorizer().unwrap();
[INFO] [stdout]     |                 ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verifier`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> benches/token.rs:506:13
[INFO] [stdout]     |
[INFO] [stdout] 506 |         let mut verifier = token.authorizer().unwrap();
[INFO] [stdout]     |             ----^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `base_data`
[INFO] [stdout]    --> benches/token.rs:524:13
[INFO] [stdout]     |
[INFO] [stdout] 524 |         let base_data = token.to_vec().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 30 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 32 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 32 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:47:5
[INFO] [stdout]    |
[INFO] [stdout] 47 |     builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:48:5
[INFO] [stdout]    |
[INFO] [stdout] 48 |     builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 48 |     let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:49:5
[INFO] [stdout]    |
[INFO] [stdout] 49 |     builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 49 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:85:5
[INFO] [stdout]    |
[INFO] [stdout] 85 |     builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 85 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:86:5
[INFO] [stdout]    |
[INFO] [stdout] 86 |     builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> benches/token.rs:87:5
[INFO] [stdout]    |
[INFO] [stdout] 87 |     builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:136:5
[INFO] [stdout]     |
[INFO] [stdout] 136 |     builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:137:5
[INFO] [stdout]     |
[INFO] [stdout] 137 |     builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 137 |     let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:138:5
[INFO] [stdout]     |
[INFO] [stdout] 138 |     builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 138 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:174:5
[INFO] [stdout]     |
[INFO] [stdout] 174 |     builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 174 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:175:5
[INFO] [stdout]     |
[INFO] [stdout] 175 |     builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 175 |     let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:176:5
[INFO] [stdout]     |
[INFO] [stdout] 176 |     builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 176 |     let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:226:9
[INFO] [stdout]     |
[INFO] [stdout] 226 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 226 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:227:9
[INFO] [stdout]     |
[INFO] [stdout] 227 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 227 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:228:9
[INFO] [stdout]     |
[INFO] [stdout] 228 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 228 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:245:5
[INFO] [stdout]     |
[INFO] [stdout] 245 |     verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 245 |     let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:246:5
[INFO] [stdout]     |
[INFO] [stdout] 246 |     verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 246 |     let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:247:5
[INFO] [stdout]     |
[INFO] [stdout] 247 |     verifier.allow();
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 247 |     let _ = verifier.allow();
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:254:9
[INFO] [stdout]     |
[INFO] [stdout] 254 |         verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 254 |         let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:255:9
[INFO] [stdout]     |
[INFO] [stdout] 255 |         verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 255 |         let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:256:9
[INFO] [stdout]     |
[INFO] [stdout] 256 |         verifier.allow();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 256 |         let _ = verifier.allow();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:271:9
[INFO] [stdout]     |
[INFO] [stdout] 271 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 271 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 272 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:273:9
[INFO] [stdout]     |
[INFO] [stdout] 273 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 273 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:314:5
[INFO] [stdout]     |
[INFO] [stdout] 314 |     verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 314 |     let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:315:5
[INFO] [stdout]     |
[INFO] [stdout] 315 |     verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 315 |     let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:316:5
[INFO] [stdout]     |
[INFO] [stdout] 316 |     verifier.allow();
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 316 |     let _ = verifier.allow();
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:323:9
[INFO] [stdout]     |
[INFO] [stdout] 323 |         verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 323 |         let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:324:9
[INFO] [stdout]     |
[INFO] [stdout] 324 |         verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 324 |         let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:325:9
[INFO] [stdout]     |
[INFO] [stdout] 325 |         verifier.allow();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 325 |         let _ = verifier.allow();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 337 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:338:9
[INFO] [stdout]     |
[INFO] [stdout] 338 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 338 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:339:9
[INFO] [stdout]     |
[INFO] [stdout] 339 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 339 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:356:5
[INFO] [stdout]     |
[INFO] [stdout] 356 |     verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 356 |     let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:357:5
[INFO] [stdout]     |
[INFO] [stdout] 357 |     verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 357 |     let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:358:5
[INFO] [stdout]     |
[INFO] [stdout] 358 |     verifier.allow();
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 358 |     let _ = verifier.allow();
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:377:9
[INFO] [stdout]     |
[INFO] [stdout] 377 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 377 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:378:9
[INFO] [stdout]     |
[INFO] [stdout] 378 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 378 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:379:9
[INFO] [stdout]     |
[INFO] [stdout] 379 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 379 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:419:5
[INFO] [stdout]     |
[INFO] [stdout] 419 |     verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 419 |     let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:420:5
[INFO] [stdout]     |
[INFO] [stdout] 420 |     verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 420 |     let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:421:5
[INFO] [stdout]     |
[INFO] [stdout] 421 |     verifier.allow();
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 421 |     let _ = verifier.allow();
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:437:9
[INFO] [stdout]     |
[INFO] [stdout] 437 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 437 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:438:9
[INFO] [stdout]     |
[INFO] [stdout] 438 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 438 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:439:9
[INFO] [stdout]     |
[INFO] [stdout] 439 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 439 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:456:5
[INFO] [stdout]     |
[INFO] [stdout] 456 |     verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 456 |     let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:457:5
[INFO] [stdout]     |
[INFO] [stdout] 457 |     verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 457 |     let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:458:5
[INFO] [stdout]     |
[INFO] [stdout] 458 |     verifier.allow();
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 458 |     let _ = verifier.allow();
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:465:9
[INFO] [stdout]     |
[INFO] [stdout] 465 |         verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 465 |         let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:466:9
[INFO] [stdout]     |
[INFO] [stdout] 466 |         verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 466 |         let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:467:9
[INFO] [stdout]     |
[INFO] [stdout] 467 |         verifier.allow();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 467 |         let _ = verifier.allow();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:479:9
[INFO] [stdout]     |
[INFO] [stdout] 479 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 479 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:480:9
[INFO] [stdout]     |
[INFO] [stdout] 480 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 480 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:481:9
[INFO] [stdout]     |
[INFO] [stdout] 481 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 481 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:498:5
[INFO] [stdout]     |
[INFO] [stdout] 498 |     verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 498 |     let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:499:5
[INFO] [stdout]     |
[INFO] [stdout] 499 |     verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 499 |     let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:500:5
[INFO] [stdout]     |
[INFO] [stdout] 500 |     verifier.allow();
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 500 |     let _ = verifier.allow();
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:517:9
[INFO] [stdout]     |
[INFO] [stdout] 517 |         builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 517 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:518:9
[INFO] [stdout]     |
[INFO] [stdout] 518 |         builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 518 |         let _ = builder.add_fact(fact("right", &[string("file2"), string("read")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:519:9
[INFO] [stdout]     |
[INFO] [stdout] 519 |         builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 519 |         let _ = builder.add_fact(fact("right", &[string("file1"), string("write")]));
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:536:5
[INFO] [stdout]     |
[INFO] [stdout] 536 |     verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 536 |     let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:537:5
[INFO] [stdout]     |
[INFO] [stdout] 537 |     verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 537 |     let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:538:5
[INFO] [stdout]     |
[INFO] [stdout] 538 |     verifier.allow();
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 538 |     let _ = verifier.allow();
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:544:9
[INFO] [stdout]     |
[INFO] [stdout] 544 |         verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 544 |         let _ = verifier.add_fact("resource(\"file1\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:545:9
[INFO] [stdout]     |
[INFO] [stdout] 545 |         verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 545 |         let _ = verifier.add_fact("operation(\"read\")");
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> benches/token.rs:546:9
[INFO] [stdout]     |
[INFO] [stdout] 546 |         verifier.allow();
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 546 |         let _ = verifier.allow();
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 88 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `snapshot::*`
[INFO] [stdout]   --> src/token/authorizer.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub use snapshot::*;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 12.04s
[INFO] running `Command { std: "docker" "inspect" "31965672964f2a7e1a06c96c2c25321f28d4d9d24bc993ded8872f5b7118576a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "31965672964f2a7e1a06c96c2c25321f28d4d9d24bc993ded8872f5b7118576a", kill_on_drop: false }`
[INFO] [stdout] 31965672964f2a7e1a06c96c2c25321f28d4d9d24bc993ded8872f5b7118576a
