[INFO] updating cached repository https://github.com/wormhole-optimization/wopt
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 013f89d8b1b9d2e61b09ad49d27945ee9374bab8
[INFO] checking wormhole-optimization/wopt against master#bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc for pr-70917
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwormhole-optimization%2Fwopt" "/workspace/builds/worker-4/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/wormhole-optimization/wopt on toolchain bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/wormhole-optimization/wopt
[INFO] removed path dependency egg from git repo https://github.com/wormhole-optimization/wopt
[INFO] finished tweaking git repo https://github.com/wormhole-optimization/wopt
[INFO] tweaked toml for git repo https://github.com/wormhole-optimization/wopt written to /workspace/builds/worker-4/source/Cargo.toml
[INFO] crate git repo https://github.com/wormhole-optimization/wopt already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr] warning: dependency (egg) specified without providing a local path, Git repository, or version to use. This will be considered an error in future versions
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr] error: the lock file /workspace/builds/worker-4/source/Cargo.lock needs to be updated but --locked was passed to prevent this
[INFO] [stderr] If you want to try to generate the lock file without accessing the network, use the --offline flag.
[INFO] the lockfile is outdated, regenerating it
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr] warning: dependency (egg) specified without providing a local path, Git repository, or version to use. This will be considered an error in future versions
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 872b716d1e766b3feef08dc7d4edb4844c8a3bc8fba2b2bb137a58184323e4fc
[INFO] running `"docker" "start" "-a" "872b716d1e766b3feef08dc7d4edb4844c8a3bc8fba2b2bb137a58184323e4fc"`
[INFO] [stderr] warning: dependency (egg) specified without providing a local path, Git repository, or version to use. This will be considered an error in future versions
[INFO] [stderr]    Compiling syn v1.0.17
[INFO] [stderr]     Checking symbolic_expressions v5.0.3
[INFO] [stderr]     Checking nanoid v0.2.0
[INFO] [stderr]     Checking egg v0.3.0
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]     Checking wopt v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0432]: unresolved imports `egg::define_term`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stderr]  --> src/lib.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 |     define_term,
[INFO] [stderr]   |     ^^^^^^^^^^^ no `define_term` in the root
[INFO] [stderr] 3 |     egraph::EClass,
[INFO] [stderr] 4 |     expr::{Expr, Id, Language, Name},
[INFO] [stderr]   |            ^^^^                ^^^^ no `Name` in `expr`
[INFO] [stderr]   |            |
[INFO] [stderr]   |            no `Expr` in `expr`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved imports `egg::egraph::AddResult`, `egg::parse::ParsableLanguage`, `egg::pattern::Rewrite`, `egg::pattern::WildMap`, `egg::expr::QuestionMarkName`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stderr]   --> src/rules.rs:11:22
[INFO] [stderr]    |
[INFO] [stderr] 11 |     egraph::{EGraph, AddResult},
[INFO] [stderr]    |                      ^^^^^^^^^ no `AddResult` in `egraph`
[INFO] [stderr] 12 |     parse::ParsableLanguage,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^ no `ParsableLanguage` in `parse`
[INFO] [stderr] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stderr]    |               ^^^^^^^           ^^^^^^^ no `WildMap` in `pattern`
[INFO] [stderr]    |               |
[INFO] [stderr]    |               no `Rewrite` in `pattern`
[INFO] [stderr] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^  ^^^^  ^^^^ no `Name` in `expr`
[INFO] [stderr]    |            |                 |
[INFO] [stderr]    |            |                 no `Expr` in `expr`
[INFO] [stderr]    |            no `QuestionMarkName` in `expr`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::Math`
[INFO] [stderr]  --> src/rules.rs:9:13
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::{Math, Meta};
[INFO] [stderr]   |             ^^^^ no `Math` in the root
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved imports `egg::define_term`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stderr]  --> src/lib.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 |     define_term,
[INFO] [stderr]   |     ^^^^^^^^^^^ no `define_term` in the root
[INFO] [stderr] 3 |     egraph::EClass,
[INFO] [stderr] 4 |     expr::{Expr, Id, Language, Name},
[INFO] [stderr]   |            ^^^^                ^^^^ no `Name` in `expr`
[INFO] [stderr]   |            |
[INFO] [stderr]   |            no `Expr` in `expr`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved imports `egg::egraph::AddResult`, `egg::parse::ParsableLanguage`, `egg::pattern::Rewrite`, `egg::pattern::WildMap`, `egg::expr::QuestionMarkName`, `egg::expr::Expr`, `egg::expr::Name`
[INFO] [stderr]   --> src/rules.rs:11:22
[INFO] [stderr]    |
[INFO] [stderr] 11 |     egraph::{EGraph, AddResult},
[INFO] [stderr]    |                      ^^^^^^^^^ no `AddResult` in `egraph`
[INFO] [stderr] 12 |     parse::ParsableLanguage,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^ no `ParsableLanguage` in `parse`
[INFO] [stderr] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stderr]    |               ^^^^^^^           ^^^^^^^ no `WildMap` in `pattern`
[INFO] [stderr]    |               |
[INFO] [stderr]    |               no `Rewrite` in `pattern`
[INFO] [stderr] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^  ^^^^  ^^^^ no `Name` in `expr`
[INFO] [stderr]    |            |                 |
[INFO] [stderr]    |            |                 no `Expr` in `expr`
[INFO] [stderr]    |            no `QuestionMarkName` in `expr`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::Math`
[INFO] [stderr]  --> src/rules.rs:9:13
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::{Math, Meta};
[INFO] [stderr]   |             ^^^^ no `Math` in the root
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]   --> src/lib.rs:57:39
[INFO] [stderr]    |
[INFO] [stderr] 57 |         hs.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stderr]    |                                       ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]   --> src/lib.rs:57:39
[INFO] [stderr]    |
[INFO] [stderr] 57 |         hs.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stderr]    |                                       ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:108:54
[INFO] [stderr]     |
[INFO] [stderr] 108 |                     hopps.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stderr]     |                                                      ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:108:54
[INFO] [stderr]     |
[INFO] [stderr] 108 |                     hopps.push((line, hid, Expr::new(Math::Add, args), meta));
[INFO] [stderr]     |                                                      ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:165:13
[INFO] [stderr]     |
[INFO] [stderr] 165 |             Math::Add => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:174:13
[INFO] [stderr]     |
[INFO] [stderr] 174 |             Math::Mul => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:165:13
[INFO] [stderr]     |
[INFO] [stderr] 165 |             Math::Add => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:174:13
[INFO] [stderr]     |
[INFO] [stderr] 174 |             Math::Mul => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:182:13
[INFO] [stderr]     |
[INFO] [stderr] 182 |             Math::Agg => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:192:13
[INFO] [stderr]     |
[INFO] [stderr] 192 |             Math::Dim => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:204:13
[INFO] [stderr]     |
[INFO] [stderr] 204 |             Math::Matrix => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:213:13
[INFO] [stderr]     |
[INFO] [stderr] 213 |             Math::Constant(n) => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:219:13
[INFO] [stderr]     |
[INFO] [stderr] 219 |             Math::Val => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:222:13
[INFO] [stderr]     |
[INFO] [stderr] 222 |             Math::Variable(v) => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:227:13
[INFO] [stderr]     |
[INFO] [stderr] 227 |             Math::Subst => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]   --> src/lib.rs:20:55
[INFO] [stderr]    |
[INFO] [stderr] 20 | pub fn parse_hop(_s: &str) -> Vec<(Vec<u32>, Id, Expr<Math, Id>, Vec<i64>)> {
[INFO] [stderr]    |                 -                                     ^^^^ not found in this scope
[INFO] [stderr]    |                 |
[INFO] [stderr]    |                 help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:118:53
[INFO] [stderr]     |
[INFO] [stderr] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stderr]     |                      -                              ^^^^ not found in this scope
[INFO] [stderr]     |                      |
[INFO] [stderr]     |                      help: you might be missing a type parameter: `, Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:143:19
[INFO] [stderr]     |
[INFO] [stderr] 143 | impl Language for Math {
[INFO] [stderr]     |                   ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |     -                      ^^^^ not found in this scope
[INFO] [stderr]     |     |
[INFO] [stderr]     |     help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:163:24
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] ...
[INFO] [stderr] 163 |     fn make(expr: Expr<Math, &Self>) -> Self {
[INFO] [stderr]     |                        ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:256:36
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] ...
[INFO] [stderr] 256 |     fn modify(_eclass: &mut EClass<Math, Self>) {
[INFO] [stderr]     |                                    ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]   --> src/lib.rs:3:5
[INFO] [stderr]    |
[INFO] [stderr] 3  |     egraph::EClass,
[INFO] [stderr]    |     ^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]    |
[INFO] [stderr] 67 | mod egraph;
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `expr` is private
[INFO] [stderr]   --> src/lib.rs:4:5
[INFO] [stderr]    |
[INFO] [stderr] 4  |     expr::{Expr, Id, Language, Name},
[INFO] [stderr]    |     ^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `expr` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | mod expr;
[INFO] [stderr]    | ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]   --> src/rules.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 11 |     egraph::{EGraph, AddResult},
[INFO] [stderr]    |     ^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]    |
[INFO] [stderr] 67 | mod egraph;
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `parse` is private
[INFO] [stderr]   --> src/rules.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 |     parse::ParsableLanguage,
[INFO] [stderr]    |     ^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `parse` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:70:1
[INFO] [stderr]    |
[INFO] [stderr] 70 | mod parse;
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `pattern` is private
[INFO] [stderr]   --> src/rules.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stderr]    |     ^^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `pattern` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:71:1
[INFO] [stderr]    |
[INFO] [stderr] 71 | mod pattern;
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `expr` is private
[INFO] [stderr]   --> src/rules.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stderr]    |     ^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `expr` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | mod expr;
[INFO] [stderr]    | ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:182:13
[INFO] [stderr]     |
[INFO] [stderr] 182 |             Math::Agg => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]    --> src/lib.rs:118:38
[INFO] [stderr]     |
[INFO] [stderr] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stderr]     |                                      ^^^^^^ private module
[INFO] [stderr]     |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]     |
[INFO] [stderr] 67  | mod egraph;
[INFO] [stderr]     | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]   --> src/rules.rs:26:23
[INFO] [stderr]    |
[INFO] [stderr] 26 |     egraph: &mut egg::egraph::EGraph<Math, Meta>,
[INFO] [stderr]    |                       ^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]    |
[INFO] [stderr] 67 | mod egraph;
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]    --> src/lib.rs:156:11
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |           ^^^^^^ private module
[INFO] [stderr]     |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]     |
[INFO] [stderr] 67  | mod egraph;
[INFO] [stderr]     | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Hasher`
[INFO] [stderr]  --> src/rules.rs:4:23
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::hash::{Hash, Hasher};
[INFO] [stderr]   |                       ^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:192:13
[INFO] [stderr]     |
[INFO] [stderr] 192 |             Math::Dim => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:204:13
[INFO] [stderr]     |
[INFO] [stderr] 204 |             Math::Matrix => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:213:13
[INFO] [stderr]     |
[INFO] [stderr] 213 |             Math::Constant(n) => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:219:13
[INFO] [stderr]     |
[INFO] [stderr] 219 |             Math::Val => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:222:13
[INFO] [stderr]     |
[INFO] [stderr] 222 |             Math::Variable(v) => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Math`
[INFO] [stderr]    --> src/lib.rs:227:13
[INFO] [stderr]     |
[INFO] [stderr] 227 |             Math::Subst => {
[INFO] [stderr]     |             ^^^^ use of undeclared type or module `Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]   --> src/lib.rs:20:55
[INFO] [stderr]    |
[INFO] [stderr] 20 | pub fn parse_hop(_s: &str) -> Vec<(Vec<u32>, Id, Expr<Math, Id>, Vec<i64>)> {
[INFO] [stderr]    |                 -                                     ^^^^ not found in this scope
[INFO] [stderr]    |                 |
[INFO] [stderr]    |                 help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:118:53
[INFO] [stderr]     |
[INFO] [stderr] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stderr]     |                      -                              ^^^^ not found in this scope
[INFO] [stderr]     |                      |
[INFO] [stderr]     |                      help: you might be missing a type parameter: `, Math`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:143:19
[INFO] [stderr]     |
[INFO] [stderr] 143 | impl Language for Math {
[INFO] [stderr]     |                   ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |     -                      ^^^^ not found in this scope
[INFO] [stderr]     |     |
[INFO] [stderr]     |     help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:163:24
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] ...
[INFO] [stderr] 163 |     fn make(expr: Expr<Math, &Self>) -> Self {
[INFO] [stderr]     |                        ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Math` in this scope
[INFO] [stderr]    --> src/lib.rs:256:36
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |     - help: you might be missing a type parameter: `<Math>`
[INFO] [stderr] ...
[INFO] [stderr] 256 |     fn modify(_eclass: &mut EClass<Math, Self>) {
[INFO] [stderr]     |                                    ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]   --> src/lib.rs:3:5
[INFO] [stderr]    |
[INFO] [stderr] 3  |     egraph::EClass,
[INFO] [stderr]    |     ^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]    |
[INFO] [stderr] 67 | mod egraph;
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `expr` is private
[INFO] [stderr]   --> src/lib.rs:4:5
[INFO] [stderr]    |
[INFO] [stderr] 4  |     expr::{Expr, Id, Language, Name},
[INFO] [stderr]    |     ^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `expr` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | mod expr;
[INFO] [stderr]    | ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]   --> src/rules.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 11 |     egraph::{EGraph, AddResult},
[INFO] [stderr]    |     ^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]    |
[INFO] [stderr] 67 | mod egraph;
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `parse` is private
[INFO] [stderr]   --> src/rules.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 |     parse::ParsableLanguage,
[INFO] [stderr]    |     ^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `parse` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:70:1
[INFO] [stderr]    |
[INFO] [stderr] 70 | mod parse;
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `pattern` is private
[INFO] [stderr]   --> src/rules.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 13 |     pattern::{Rewrite, Applier, WildMap},
[INFO] [stderr]    |     ^^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `pattern` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:71:1
[INFO] [stderr]    |
[INFO] [stderr] 71 | mod pattern;
[INFO] [stderr]    | ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `expr` is private
[INFO] [stderr]   --> src/rules.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 |     expr::{QuestionMarkName, Expr, Name},
[INFO] [stderr]    |     ^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `expr` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | mod expr;
[INFO] [stderr]    | ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]    --> src/lib.rs:118:38
[INFO] [stderr]     |
[INFO] [stderr] 118 | pub type MathEGraph<M = Meta> = egg::egraph::EGraph<Math, M>;
[INFO] [stderr]     |                                      ^^^^^^ private module
[INFO] [stderr]     |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]     |
[INFO] [stderr] 67  | mod egraph;
[INFO] [stderr]     | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]   --> src/rules.rs:26:23
[INFO] [stderr]    |
[INFO] [stderr] 26 |     egraph: &mut egg::egraph::EGraph<Math, Meta>,
[INFO] [stderr]    |                       ^^^^^^ private module
[INFO] [stderr]    |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]   --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]    |
[INFO] [stderr] 67 | mod egraph;
[INFO] [stderr]    | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: module `egraph` is private
[INFO] [stderr]    --> src/lib.rs:156:11
[INFO] [stderr]     |
[INFO] [stderr] 156 | impl egg::egraph::Metadata<Math> for Meta {
[INFO] [stderr]     |           ^^^^^^ private module
[INFO] [stderr]     |
[INFO] [stderr] note: the module `egraph` is defined here
[INFO] [stderr]    --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/egg-0.3.0/src/lib.rs:67:1
[INFO] [stderr]     |
[INFO] [stderr] 67  | mod egraph;
[INFO] [stderr]     | ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Hasher`
[INFO] [stderr]  --> src/rules.rs:4:23
[INFO] [stderr]   |
[INFO] [stderr] 4 | use std::hash::{Hash, Hasher};
[INFO] [stderr]   |                       ^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 29 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0412, E0432, E0433, E0603.
[INFO] [stderr] For more information about an error, try `rustc --explain E0412`.
[INFO] [stderr] error: aborting due to 29 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0412, E0432, E0433, E0603.
[INFO] [stderr] For more information about an error, try `rustc --explain E0412`.
[INFO] [stderr] error: could not compile `wopt`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `wopt`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "872b716d1e766b3feef08dc7d4edb4844c8a3bc8fba2b2bb137a58184323e4fc"`
[INFO] running `"docker" "rm" "-f" "872b716d1e766b3feef08dc7d4edb4844c8a3bc8fba2b2bb137a58184323e4fc"`
[INFO] [stdout] 872b716d1e766b3feef08dc7d4edb4844c8a3bc8fba2b2bb137a58184323e4fc
