[INFO] cloning repository https://github.com/arnaudgolfouse/lifetime_logic
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/arnaudgolfouse/lifetime_logic" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farnaudgolfouse%2Flifetime_logic", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farnaudgolfouse%2Flifetime_logic'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 575de2c5b650cf80e715fc6e8d0c556abb045ea2
[INFO] checking arnaudgolfouse/lifetime_logic against try#63132bd615c9bf75e93af8405d00064212331708 for pr-153975
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farnaudgolfouse%2Flifetime_logic" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/arnaudgolfouse/lifetime_logic
[INFO] finished tweaking git repo https://github.com/arnaudgolfouse/lifetime_logic
[INFO] tweaked toml for git repo https://github.com/arnaudgolfouse/lifetime_logic written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/arnaudgolfouse/lifetime_logic on toolchain 63132bd615c9bf75e93af8405d00064212331708
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+63132bd615c9bf75e93af8405d00064212331708" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/arnaudgolfouse/lifetime_logic 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" "+63132bd615c9bf75e93af8405d00064212331708" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 2 packages to latest compatible versions
[INFO] [stderr]       Adding creusot-std v0.10.0
[INFO] [stderr]       Adding creusot-std-proc v0.10.0
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] checking arnaudgolfouse/lifetime_logic against try#63132bd615c9bf75e93af8405d00064212331708 for pr-153975
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Farnaudgolfouse%2Flifetime_logic" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/arnaudgolfouse/lifetime_logic
[INFO] finished tweaking git repo https://github.com/arnaudgolfouse/lifetime_logic
[INFO] tweaked toml for git repo https://github.com/arnaudgolfouse/lifetime_logic written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/arnaudgolfouse/lifetime_logic on toolchain 63132bd615c9bf75e93af8405d00064212331708
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+63132bd615c9bf75e93af8405d00064212331708" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/arnaudgolfouse/lifetime_logic 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" "+63132bd615c9bf75e93af8405d00064212331708" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 2 packages to latest compatible versions
[INFO] [stderr]       Adding creusot-std v0.10.0
[INFO] [stderr]       Adding creusot-std-proc v0.10.0
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded creusot-std-proc v0.10.0
[INFO] [stderr]   Downloaded creusot-std v0.10.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+63132bd615c9bf75e93af8405d00064212331708" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cd849d1046f1585d5c9eb10dbf6330a5081562a3c884ff9dfc0b929aaab294d2
[INFO] running `Command { std: "docker" "start" "-a" "cd849d1046f1585d5c9eb10dbf6330a5081562a3c884ff9dfc0b929aaab294d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cd849d1046f1585d5c9eb10dbf6330a5081562a3c884ff9dfc0b929aaab294d2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cd849d1046f1585d5c9eb10dbf6330a5081562a3c884ff9dfc0b929aaab294d2", kill_on_drop: false }`
[INFO] [stdout] cd849d1046f1585d5c9eb10dbf6330a5081562a3c884ff9dfc0b929aaab294d2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+63132bd615c9bf75e93af8405d00064212331708" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] aa5eedbe91895ccf9f08e0eefbdbb51cb95ecf1486bd3c75b6ccf5336c8c99b2
[INFO] running `Command { std: "docker" "start" "-a" "aa5eedbe91895ccf9f08e0eefbdbb51cb95ecf1486bd3c75b6ccf5336c8c99b2", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling unicode-ident v1.0.19
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling creusot-std-proc v0.10.0
[INFO] [stderr]     Checking creusot-std v0.10.0
[INFO] [stderr]     Checking lifetime_logic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `auth::Auth`
[INFO] [stdout]   --> src/lib.rs:13:14
[INFO] [stdout]    |
[INFO] [stdout] 13 |         ra::{auth::Auth, excl::Excl, sum::Sum},
[INFO] [stdout]    |              ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/lifetime_logic.rs:28:21
[INFO] [stdout]    |
[INFO] [stdout] 28 |         ghost!(Self(snapshot!(snap.0).into_ghost().into_inner()))
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for type parameter `T`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `auth::Auth`
[INFO] [stdout]   --> src/lib.rs:13:14
[INFO] [stdout]    |
[INFO] [stdout] 13 |         ra::{auth::Auth, excl::Excl, sum::Sum},
[INFO] [stdout]    |              ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/lifetime_logic.rs:28:21
[INFO] [stdout]    |
[INFO] [stdout] 28 |         ghost!(Self(snapshot!(snap.0).into_ghost().into_inner()))
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for type parameter `T`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/lib.rs:313:21
[INFO] [stdout]     |
[INFO] [stdout] 313 |                   let (auth, fragment) = {
[INFO] [stdout]     |  _____________________^^^^^^^^^^^^^^^^___-
[INFO] [stdout]     | |                     |
[INFO] [stdout]     | |                     expected `Authority<_>`, found `(_, _)`
[INFO] [stdout] 314 | |                     proof_assert!(*half + *half == PositiveReal::from_int(1)); // sigh
[INFO] [stdout] 315 | |                     let strong = snapshot!(Nat::new(1));
[INFO] [stdout] 316 | |                     let weak = snapshot!(Nat::new(0));
[INFO] [stdout] ...   |
[INFO] [stdout] 319 | |                     Authority::from_resource(resource)
[INFO] [stdout] 320 | |                 };
[INFO] [stdout]     | |_________________- this expression has type `Authority<_>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `Authority<_>`
[INFO] [stdout]                 found tuple `(_, _)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/lib.rs:313:21
[INFO] [stdout]     |
[INFO] [stdout] 313 |                   let (auth, fragment) = {
[INFO] [stdout]     |  _____________________^^^^^^^^^^^^^^^^___-
[INFO] [stdout]     | |                     |
[INFO] [stdout]     | |                     expected `Authority<_>`, found `(_, _)`
[INFO] [stdout] 314 | |                     proof_assert!(*half + *half == PositiveReal::from_int(1)); // sigh
[INFO] [stdout] 315 | |                     let strong = snapshot!(Nat::new(1));
[INFO] [stdout] 316 | |                     let weak = snapshot!(Nat::new(0));
[INFO] [stdout] ...   |
[INFO] [stdout] 319 | |                     Authority::from_resource(resource)
[INFO] [stdout] 320 | |                 };
[INFO] [stdout]     | |_________________- this expression has type `Authority<_>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected struct `Authority<_>`
[INFO] [stdout]                 found tuple `(_, _)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `add_fragment` found for mutable reference `&mut Authority<(Option<Sum<(PositiveReal, Nat), Excl<()>>>, Nat)>` in the current scope
[INFO] [stdout]    --> src/lib.rs:397:56
[INFO] [stdout]     |
[INFO] [stdout] 397 | ...Fragment(auth.add_fragment(snapshot!((Some(Sum::Left((*new_frac, Nat::new(1)))), Nat::new(0)))));
[INFO] [stdout]     |                  ^^^^^^^^^^^^ method not found in `&mut Authority<(Option<Sum<(PositiveReal, Nat), Excl<()>>>, Nat)>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lifetime_logic-2679598d213dcf36.long-type-17611300911903234502.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `add_fragment` found for mutable reference `&mut Authority<(Option<Sum<(PositiveReal, Nat), Excl<()>>>, Nat)>` in the current scope
[INFO] [stdout]    --> src/lib.rs:397:56
[INFO] [stdout]     |
[INFO] [stdout] 397 | ...Fragment(auth.add_fragment(snapshot!((Some(Sum::Left((*new_frac, Nat::new(1)))), Nat::new(0)))));
[INFO] [stdout]     |                  ^^^^^^^^^^^^ method not found in `&mut Authority<(Option<Sum<(PositiveReal, Nat), Excl<()>>>, Nat)>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/lifetime_logic-be7a399ee1f3e339.long-type-17272709178722565121.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `frac`
[INFO] [stdout]   --> src/lifetime_logic.rs:81:17
[INFO] [stdout]    |
[INFO] [stdout] 81 |             let frac = snapshot!(self.frac().to_real());
[INFO] [stdout]    |                 ^^^^ help: if this is intentional, prefix it with an underscore: `_frac`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/lifetime_logic.rs:197:16
[INFO] [stdout]     |
[INFO] [stdout] 197 |     pub fn new(x: Ghost<T>, lft: Snapshot<Lifetime>) -> (Ghost<Self>, Ghost<EndBorrow<T>>) {
[INFO] [stdout]     |                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lft`
[INFO] [stdout]    --> src/lifetime_logic.rs:197:29
[INFO] [stdout]     |
[INFO] [stdout] 197 |     pub fn new(x: Ghost<T>, lft: Snapshot<Lifetime>) -> (Ghost<Self>, Ghost<EndBorrow<T>>) {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_lft`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> src/lifetime_logic.rs:209:33
[INFO] [stdout]     |
[INFO] [stdout] 209 |     pub fn borrow<'a>(&'a self, token: &'a LifetimeToken) -> &'a T {
[INFO] [stdout]     |                                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_token`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `frac`
[INFO] [stdout]   --> src/lifetime_logic.rs:81:17
[INFO] [stdout]    |
[INFO] [stdout] 81 |             let frac = snapshot!(self.frac().to_real());
[INFO] [stdout]    |                 ^^^^ help: if this is intentional, prefix it with an underscore: `_frac`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/lifetime_logic.rs:197:16
[INFO] [stdout]     |
[INFO] [stdout] 197 |     pub fn new(x: Ghost<T>, lft: Snapshot<Lifetime>) -> (Ghost<Self>, Ghost<EndBorrow<T>>) {
[INFO] [stdout]     |                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lft`
[INFO] [stdout]    --> src/lifetime_logic.rs:197:29
[INFO] [stdout]     |
[INFO] [stdout] 197 |     pub fn new(x: Ghost<T>, lft: Snapshot<Lifetime>) -> (Ghost<Self>, Ghost<EndBorrow<T>>) {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_lft`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> src/lifetime_logic.rs:209:33
[INFO] [stdout]     |
[INFO] [stdout] 209 |     pub fn borrow<'a>(&'a self, token: &'a LifetimeToken) -> &'a T {
[INFO] [stdout]     |                                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_token`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> src/lifetime_logic.rs:230:41
[INFO] [stdout]     |
[INFO] [stdout] 230 |     pub fn borrow_mut<'a>(&'a mut self, token: &'a LifetimeToken) -> &'a mut T {
[INFO] [stdout]     |                                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_token`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lft_dead`
[INFO] [stdout]    --> src/lifetime_logic.rs:301:22
[INFO] [stdout]     |
[INFO] [stdout] 301 |     pub fn get(self, lft_dead: LifetimeDead) -> T {
[INFO] [stdout]     |                      ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_lft_dead`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> src/lifetime_logic.rs:230:41
[INFO] [stdout]     |
[INFO] [stdout] 230 |     pub fn borrow_mut<'a>(&'a mut self, token: &'a LifetimeToken) -> &'a mut T {
[INFO] [stdout]     |                                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_token`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lft_dead`
[INFO] [stdout]    --> src/lifetime_logic.rs:301:22
[INFO] [stdout]     |
[INFO] [stdout] 301 |     pub fn get(self, lft_dead: LifetimeDead) -> T {
[INFO] [stdout]     |                      ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_lft_dead`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/lib.rs:241:13
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let value = snapshot!(x);
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/lib.rs:241:13
[INFO] [stdout]     |
[INFO] [stdout] 241 |         let value = snapshot!(x);
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0308, E0599.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0308, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lifetime_logic` (lib) due to 3 previous errors; 8 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `lifetime_logic` (lib test) due to 3 previous errors; 8 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "aa5eedbe91895ccf9f08e0eefbdbb51cb95ecf1486bd3c75b6ccf5336c8c99b2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aa5eedbe91895ccf9f08e0eefbdbb51cb95ecf1486bd3c75b6ccf5336c8c99b2", kill_on_drop: false }`
[INFO] [stdout] aa5eedbe91895ccf9f08e0eefbdbb51cb95ecf1486bd3c75b6ccf5336c8c99b2
