[INFO] cloning repository https://github.com/xCuzImVinni/GeoSolver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/xCuzImVinni/GeoSolver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FxCuzImVinni%2FGeoSolver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FxCuzImVinni%2FGeoSolver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f99fcbda181ee697afa53db1a8b4850d6ebccb94
[INFO] testing xCuzImVinni/GeoSolver against beta-2026-01-20 for beta-1.94-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FxCuzImVinni%2FGeoSolver" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/xCuzImVinni/GeoSolver
[INFO] finished tweaking git repo https://github.com/xCuzImVinni/GeoSolver
[INFO] tweaked toml for git repo https://github.com/xCuzImVinni/GeoSolver written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/xCuzImVinni/GeoSolver on toolchain beta-2026-01-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/xCuzImVinni/GeoSolver 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" "+beta-2026-01-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] testing xCuzImVinni/GeoSolver against beta-2026-01-20 for beta-1.94-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FxCuzImVinni%2FGeoSolver" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/xCuzImVinni/GeoSolver
[INFO] finished tweaking git repo https://github.com/xCuzImVinni/GeoSolver
[INFO] tweaked toml for git repo https://github.com/xCuzImVinni/GeoSolver written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/xCuzImVinni/GeoSolver on toolchain beta-2026-01-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/xCuzImVinni/GeoSolver 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" "+beta-2026-01-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] testing xCuzImVinni/GeoSolver against beta-2026-01-20 for beta-1.94-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FxCuzImVinni%2FGeoSolver" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/xCuzImVinni/GeoSolver
[INFO] finished tweaking git repo https://github.com/xCuzImVinni/GeoSolver
[INFO] tweaked toml for git repo https://github.com/xCuzImVinni/GeoSolver written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/xCuzImVinni/GeoSolver on toolchain beta-2026-01-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/xCuzImVinni/GeoSolver 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" "+beta-2026-01-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6862b1bf0781cd567474120e1e332b18abe9fca42186ecbb700b702b038b9a50
[INFO] running `Command { std: "docker" "start" "-a" "6862b1bf0781cd567474120e1e332b18abe9fca42186ecbb700b702b038b9a50", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6862b1bf0781cd567474120e1e332b18abe9fca42186ecbb700b702b038b9a50", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6862b1bf0781cd567474120e1e332b18abe9fca42186ecbb700b702b038b9a50", kill_on_drop: false }`
[INFO] [stdout] 6862b1bf0781cd567474120e1e332b18abe9fca42186ecbb700b702b038b9a50
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] eb5920334f7826d94f331ae0dd7ac1a2664562aaa3800a055d7ee9236fd802ef
[INFO] running `Command { std: "docker" "start" "-a" "eb5920334f7826d94f331ae0dd7ac1a2664562aaa3800a055d7ee9236fd802ef", kill_on_drop: false }`
[INFO] [stderr]    Compiling geo_solver v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: `self` parameter is only allowed in associated functions
[INFO] [stdout]   --> src/relations.rs:80:20
[INFO] [stdout]    |
[INFO] [stdout] 80 | pub fn description(&self) -> String {
[INFO] [stdout]    |                    ^^^^^ not semantically valid as function parameter
[INFO] [stdout]    |
[INFO] [stdout]    = note: associated functions are those in `impl` or `trait` definitions
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `prove_congruence` in this scope
[INFO] [stdout]    --> src/inference.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 |         prove_congruence,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/theorems.rs:147:1
[INFO] [stdout]     |
[INFO] [stdout] 147 | pub fn sss_congruence(known: &[Relation]) -> Option<Relation> {
[INFO] [stdout]     | ------------------------------------------------------------- similarly named function `sss_congruence` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a function with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout]   7 -         prove_congruence,
[INFO] [stdout]   7 +         sss_congruence,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `geometry`
[INFO] [stdout]   --> src/theorems.rs:41:20
[INFO] [stdout]    |
[INFO] [stdout] 41 |         let psm1 = geometry::Triangle {
[INFO] [stdout]    |                    ^^^^^^^^ use of unresolved module or unlinked crate `geometry`
[INFO] [stdout]    |
[INFO] [stdout] help: to make use of source file src/geometry.rs, use `mod geometry` in this file to declare the module
[INFO] [stdout]   --> src/main.rs:1:1
[INFO] [stdout]    |
[INFO] [stdout]  1 + mod geometry;
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout]  1 + use crate::geometry;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `geometry`
[INFO] [stdout]   --> src/theorems.rs:49:20
[INFO] [stdout]    |
[INFO] [stdout] 49 |         let ptm2 = geometry::Triangle {
[INFO] [stdout]    |                    ^^^^^^^^ use of unresolved module or unlinked crate `geometry`
[INFO] [stdout]    |
[INFO] [stdout] help: to make use of source file src/geometry.rs, use `mod geometry` in this file to declare the module
[INFO] [stdout]   --> src/main.rs:1:1
[INFO] [stdout]    |
[INFO] [stdout]  1 + mod geometry;
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout]  1 + use crate::geometry;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `LiesOnCircle` in this scope
[INFO] [stdout]   --> src/main.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 54 |         LiesOnCircle(p.clone(), k1.clone()),
[INFO] [stdout]    |         ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]    |
[INFO] [stdout]  7 + use crate::Relation::LiesOnCircle;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `LiesOnCircle` in this scope
[INFO] [stdout]   --> src/main.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         LiesOnCircle(q.clone(), k2.clone()),
[INFO] [stdout]    |         ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]    |
[INFO] [stdout]  7 + use crate::Relation::LiesOnCircle;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `LiesOnCircle` in this scope
[INFO] [stdout]   --> src/main.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 56 |         LiesOnCircle(r.clone(), k2.clone()),
[INFO] [stdout]    |         ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]    |
[INFO] [stdout]  7 + use crate::Relation::LiesOnCircle;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `EqualLength` in this scope
[INFO] [stdout]   --> src/main.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |         EqualLength(pq.clone(), m1m2.clone()),
[INFO] [stdout]    |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]    |
[INFO] [stdout]  7 + use crate::Relation::EqualLength;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `EqualLength` in this scope
[INFO] [stdout]   --> src/main.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |         EqualLength(pr.clone(), m1m2.clone()),
[INFO] [stdout]    |         ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]    |
[INFO] [stdout]  7 + use crate::Relation::EqualLength;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Midpoint` in this scope
[INFO] [stdout]   --> src/main.rs:61:9
[INFO] [stdout]    |
[INFO] [stdout] 14 | fn midpoint(a: &Point, b: &Point, name: &'static str) -> Point {
[INFO] [stdout]    | -------------------------------------------------------------- similarly named function `midpoint` defined here
[INFO] [stdout] ...
[INFO] [stdout] 61 |         Midpoint(s.clone(), p.clone(), q.clone()),
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a function with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 61 -         Midpoint(s.clone(), p.clone(), q.clone()),
[INFO] [stdout] 61 +         midpoint(s.clone(), p.clone(), q.clone()),
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]    |
[INFO] [stdout]  7 + use crate::Relation::Midpoint;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Midpoint` in this scope
[INFO] [stdout]   --> src/main.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 14 | fn midpoint(a: &Point, b: &Point, name: &'static str) -> Point {
[INFO] [stdout]    | -------------------------------------------------------------- similarly named function `midpoint` defined here
[INFO] [stdout] ...
[INFO] [stdout] 62 |         Midpoint(t.clone(), p.clone(), r.clone()),
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a function with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 62 -         Midpoint(t.clone(), p.clone(), r.clone()),
[INFO] [stdout] 62 +         midpoint(t.clone(), p.clone(), r.clone()),
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]    |
[INFO] [stdout]  7 + use crate::Relation::Midpoint;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `proof::Proof`
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use proof::Proof;
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `theorems::prove_similarity`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use theorems::prove_similarity;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed for `Vec<(_, _)>`
[INFO] [stdout]    --> src/theorems.rs:148:9
[INFO] [stdout]     |
[INFO] [stdout] 148 |     let mut triangles = Vec::new();
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 162 |                 return Some(Relation::congruent_triangles(tri1.clone(), tri2.clone()));
[INFO] [stdout]     |                                                           ---- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout] help: consider giving `triangles` an explicit type, where the placeholders `_` are specified
[INFO] [stdout]     |
[INFO] [stdout] 148 |     let mut triangles: Vec<(_, _)> = Vec::new();
[INFO] [stdout]     |                      +++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/main.rs:76:24
[INFO] [stdout]    |
[INFO] [stdout] 76 |         println!("{}", rel.description());
[INFO] [stdout]    |                        ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/theorems.rs:72:30
[INFO] [stdout]    |
[INFO] [stdout] 72 |                 if let Some((a, b, circle)) = &diameter_line {
[INFO] [stdout]    |                              ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/theorems.rs:72:33
[INFO] [stdout]    |
[INFO] [stdout] 72 |                 if let Some((a, b, circle)) = &diameter_line {
[INFO] [stdout]    |                                 ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/theorems.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let mut m1: Option<Point> = None;
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/theorems.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |     let mut m2: Option<Point> = None;
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `pq` is assigned to, but never used
[INFO] [stdout]   --> src/theorems.rs:93:9
[INFO] [stdout]    |
[INFO] [stdout] 93 |     let mut pq = None;
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_pq` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `pr` is assigned to, but never used
[INFO] [stdout]   --> src/theorems.rs:94:9
[INFO] [stdout]    |
[INFO] [stdout] 94 |     let mut pr = None;
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_pr` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `m1`
[INFO] [stdout]   --> src/theorems.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let mut m1: Option<Point> = None;
[INFO] [stdout]    |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_m1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `m2`
[INFO] [stdout]    --> src/theorems.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |     let mut m2: Option<Point> = None;
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_m2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `pq` is never read
[INFO] [stdout]    --> src/theorems.rs:106:21
[INFO] [stdout]     |
[INFO] [stdout] 106 |                     pq = Some(l1.clone());
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `pr` is never read
[INFO] [stdout]    --> src/theorems.rs:109:21
[INFO] [stdout]     |
[INFO] [stdout] 109 |                     pr = Some(l1.clone());
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `circle`
[INFO] [stdout]    --> src/theorems.rs:185:40
[INFO] [stdout]     |
[INFO] [stdout] 185 |             Relation::IsDiameter(line, circle) => {
[INFO] [stdout]     |                                        ^^^^^^ help: if this is intentional, prefix it with an underscore: `_circle`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0425, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `geo_solver` (bin "geo_solver") due to 13 previous errors; 13 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "eb5920334f7826d94f331ae0dd7ac1a2664562aaa3800a055d7ee9236fd802ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eb5920334f7826d94f331ae0dd7ac1a2664562aaa3800a055d7ee9236fd802ef", kill_on_drop: false }`
[INFO] [stdout] eb5920334f7826d94f331ae0dd7ac1a2664562aaa3800a055d7ee9236fd802ef
