[INFO] cloning repository https://github.com/zgrannan/pcs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/zgrannan/pcs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzgrannan%2Fpcs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzgrannan%2Fpcs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] f11d028522157163c7dc50323f4025b81e9c71f8 [INFO] checking zgrannan/pcs against try#da4929024a7261062885cb3209c9d7fdc919d233 for pr-135536 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzgrannan%2Fpcs" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/zgrannan/pcs on toolchain da4929024a7261062885cb3209c9d7fdc919d233 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+da4929024a7261062885cb3209c9d7fdc919d233" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-7-tc2/source/rust-toolchain [INFO] started tweaking git repo https://github.com/zgrannan/pcs [INFO] finished tweaking git repo https://github.com/zgrannan/pcs [INFO] tweaked toml for git repo https://github.com/zgrannan/pcs written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/zgrannan/pcs 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" "+da4929024a7261062885cb3209c9d7fdc919d233" "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] Downloading crates ... [INFO] [stderr] Downloaded datafrog v2.0.1 [INFO] [stderr] Downloaded dot v0.1.4 [INFO] [stderr] Downloaded polonius-engine v0.13.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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+da4929024a7261062885cb3209c9d7fdc919d233" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 5d55fe74d9a4c3a1daac12808d7b078e148733b7e4a3883baafd525764345bee [INFO] running `Command { std: "docker" "start" "-a" "5d55fe74d9a4c3a1daac12808d7b078e148733b7e4a3883baafd525764345bee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5d55fe74d9a4c3a1daac12808d7b078e148733b7e4a3883baafd525764345bee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5d55fe74d9a4c3a1daac12808d7b078e148733b7e4a3883baafd525764345bee", kill_on_drop: false }` [INFO] [stdout] 5d55fe74d9a4c3a1daac12808d7b078e148733b7e4a3883baafd525764345bee [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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+da4929024a7261062885cb3209c9d7fdc919d233" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cc38a6b43222a2f27b6ec7d3a180cf7aa6ecadd43c894e3b74f0fbb4fd2c29bb [INFO] running `Command { std: "docker" "start" "-a" "cc38a6b43222a2f27b6ec7d3a180cf7aa6ecadd43c894e3b74f0fbb4fd2c29bb", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.169 [INFO] [stderr] Compiling proc-macro2 v1.0.85 [INFO] [stderr] Compiling serde v1.0.193 [INFO] [stderr] Compiling cc v1.0.99 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Checking bytes v1.6.0 [INFO] [stderr] Checking futures-core v0.3.30 [INFO] [stderr] Checking indexmap v2.2.6 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling openssl v0.10.64 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking tinyvec_macros v0.1.1 [INFO] [stderr] Compiling httparse v1.9.4 [INFO] [stderr] Checking futures-sink v0.3.30 [INFO] [stderr] Checking futures-io v0.3.30 [INFO] [stderr] Compiling native-tls v0.2.12 [INFO] [stderr] Checking bitflags v2.5.0 [INFO] [stderr] Checking futures-task v0.3.30 [INFO] [stderr] Checking tinyvec v1.6.0 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking percent-encoding v2.3.1 [INFO] [stderr] Compiling serde_json v1.0.109 [INFO] [stderr] Checking try-lock v0.2.5 [INFO] [stderr] Checking regex-automata v0.4.7 [INFO] [stderr] Checking want v0.3.1 [INFO] [stderr] Checking form_urlencoded v1.2.1 [INFO] [stderr] Checking futures-util v0.3.30 [INFO] [stderr] Checking futures-channel v0.3.30 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Checking httpdate v1.0.3 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Checking datafrog v2.0.1 [INFO] [stderr] Checking unicode-bidi v0.3.15 [INFO] [stderr] Checking tower-service v0.3.2 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking polonius-engine v0.13.0 [INFO] [stderr] Checking petgraph v0.6.5 [INFO] [stderr] Checking dot v0.1.4 [INFO] [stderr] Checking base64 v0.21.7 [INFO] [stderr] Checking winnow v0.5.40 [INFO] [stderr] Checking unicode-normalization v0.1.23 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Checking itertools v0.12.1 [INFO] [stderr] Checking bumpalo v3.16.0 [INFO] [stderr] Checking http v0.2.12 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking encoding_rs v0.8.34 [INFO] [stderr] Checking mime v0.3.17 [INFO] [stderr] Compiling syn v2.0.66 [INFO] [stderr] Checking sync_wrapper v0.1.2 [INFO] [stderr] Checking ipnet v2.9.0 [INFO] [stderr] Checking rustls-pemfile v1.0.4 [INFO] [stderr] Checking idna v0.5.0 [INFO] [stderr] Compiling openssl-sys v0.9.102 [INFO] [stderr] Checking http-body v0.4.6 [INFO] [stderr] Checking socket2 v0.5.7 [INFO] [stderr] Checking mio v0.8.11 [INFO] [stderr] Checking tokio v1.38.0 [INFO] [stderr] Checking url v2.5.2 [INFO] [stderr] Checking regex v1.10.5 [INFO] [stderr] Checking toml_datetime v0.6.8 [INFO] [stderr] Checking serde_spanned v0.6.8 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking toml_edit v0.19.15 [INFO] [stderr] Checking toml v0.7.8 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling derive_more v0.99.18 [INFO] [stderr] Compiling serde_derive v1.0.193 [INFO] [stderr] Checking tokio-util v0.7.11 [INFO] [stderr] Checking h2 v0.3.26 [INFO] [stderr] Checking pcs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0463]: can't find crate for `rustc_abi` [INFO] [stdout] --> src/rustc_interface/mod.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | pub extern crate rustc_abi as abi; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_ast` [INFO] [stdout] --> src/rustc_interface/mod.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | pub extern crate rustc_ast as ast; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_borrowck` [INFO] [stdout] --> src/rustc_interface/mod.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | pub extern crate rustc_borrowck as borrowck; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures` [INFO] [stdout] --> src/rustc_interface/mod.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | pub extern crate rustc_data_structures as data_structures; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_driver` [INFO] [stdout] --> src/rustc_interface/mod.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | pub extern crate rustc_driver as driver; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_hir` [INFO] [stdout] --> src/rustc_interface/mod.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | pub extern crate rustc_hir as hir; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_index` [INFO] [stdout] --> src/rustc_interface/mod.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | pub extern crate rustc_index as index; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_interface` [INFO] [stdout] --> src/rustc_interface/mod.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | pub extern crate rustc_interface as interface; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_middle` [INFO] [stdout] --> src/rustc_interface/mod.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | pub extern crate rustc_middle as middle; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_mir_dataflow` [INFO] [stdout] --> src/rustc_interface/mod.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | pub extern crate rustc_mir_dataflow as dataflow; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_span` [INFO] [stdout] --> src/rustc_interface/mod.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | pub extern crate rustc_span as span; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_target` [INFO] [stdout] --> src/rustc_interface/mod.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | pub extern crate rustc_target as target; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_session` [INFO] [stdout] --> src/rustc_interface/mod.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | pub extern crate rustc_session as session; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `Rvalue::*`, `Rvalue::*`, `StatementKind::*`, `TerminatorKind::*`, `Rvalue::*`, `ProjectionElem::*`, `ProjectionElem::*` [INFO] [stdout] --> src/borrows/borrows_visitor.rs:636:13 [INFO] [stdout] | [INFO] [stdout] 636 | use Rvalue::*; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/free_pcs/impl/triple.rs:140:13 [INFO] [stdout] | [INFO] [stdout] 140 | use Rvalue::*; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 171 | use StatementKind::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 224 | use TerminatorKind::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 266 | use Rvalue::*; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/utils/place.rs:203:17 [INFO] [stdout] | [INFO] [stdout] 203 | use ProjectionElem::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 458 | use ProjectionElem::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `ConstEvalCounter` is not bound in all patterns [INFO] [stdout] --> src/free_pcs/impl/triple.rs:203:13 [INFO] [stdout] | [INFO] [stdout] 203 | AscribeUserType(..) | Coverage(..) | Intrinsic(..) | ConstEvalCounter | Nop => return, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^ ---------------- ^^^ pattern doesn't bind `ConstEvalCounter` [INFO] [stdout] | | | | | [INFO] [stdout] | | | | variable not in all patterns [INFO] [stdout] | | | pattern doesn't bind `ConstEvalCounter` [INFO] [stdout] | | pattern doesn't bind `ConstEvalCounter` [INFO] [stdout] | pattern doesn't bind `ConstEvalCounter` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::ConstEvalCounter` [INFO] [stdout] --> src/free_pcs/impl/triple.rs:203:66 [INFO] [stdout] | [INFO] [stdout] 203 | AscribeUserType(..) | Coverage(..) | Intrinsic(..) | ConstEvalCounter | Nop => return, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Nop` is not bound in all patterns [INFO] [stdout] --> src/free_pcs/impl/triple.rs:203:13 [INFO] [stdout] | [INFO] [stdout] 203 | AscribeUserType(..) | Coverage(..) | Intrinsic(..) | ConstEvalCounter | Nop => return, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ --- variable not in all patterns [INFO] [stdout] | | | | | [INFO] [stdout] | | | | pattern doesn't bind `Nop` [INFO] [stdout] | | | pattern doesn't bind `Nop` [INFO] [stdout] | | pattern doesn't bind `Nop` [INFO] [stdout] | pattern doesn't bind `Nop` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Nop` [INFO] [stdout] --> src/free_pcs/impl/triple.rs:203:85 [INFO] [stdout] | [INFO] [stdout] 203 | AscribeUserType(..) | Coverage(..) | Intrinsic(..) | ConstEvalCounter | Nop => return, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `UnwindResume` is not bound in all patterns [INFO] [stdout] --> src/free_pcs/impl/triple.rs:226:13 [INFO] [stdout] | [INFO] [stdout] 226 | Goto { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `UnwindResume` [INFO] [stdout] 227 | | SwitchInt { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ pattern doesn't bind `UnwindResume` [INFO] [stdout] 228 | | UnwindResume [INFO] [stdout] | ------------ variable not in all patterns [INFO] [stdout] 229 | | UnwindTerminate(_) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ pattern doesn't bind `UnwindResume` [INFO] [stdout] 230 | | Unreachable [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `UnwindResume` [INFO] [stdout] 231 | | Assert { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `UnwindResume` [INFO] [stdout] 232 | | FalseEdge { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ pattern doesn't bind `UnwindResume` [INFO] [stdout] 233 | | FalseUnwind { .. } => return, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ pattern doesn't bind `UnwindResume` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::UnwindResume` [INFO] [stdout] --> src/free_pcs/impl/triple.rs:228:15 [INFO] [stdout] | [INFO] [stdout] 228 | | UnwindResume [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Unreachable` is not bound in all patterns [INFO] [stdout] --> src/free_pcs/impl/triple.rs:226:13 [INFO] [stdout] | [INFO] [stdout] 226 | Goto { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Unreachable` [INFO] [stdout] 227 | | SwitchInt { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ pattern doesn't bind `Unreachable` [INFO] [stdout] 228 | | UnwindResume [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Unreachable` [INFO] [stdout] 229 | | UnwindTerminate(_) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ pattern doesn't bind `Unreachable` [INFO] [stdout] 230 | | Unreachable [INFO] [stdout] | ----------- variable not in all patterns [INFO] [stdout] 231 | | Assert { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Unreachable` [INFO] [stdout] 232 | | FalseEdge { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ pattern doesn't bind `Unreachable` [INFO] [stdout] 233 | | FalseUnwind { .. } => return, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ pattern doesn't bind `Unreachable` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Unreachable` [INFO] [stdout] --> src/free_pcs/impl/triple.rs:230:15 [INFO] [stdout] | [INFO] [stdout] 230 | | Unreachable [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:638:13 [INFO] [stdout] | [INFO] [stdout] 638 | Use(_) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Repeat` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:639:15 [INFO] [stdout] | [INFO] [stdout] 639 | | Repeat(_, _) [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ThreadLocalRef` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:640:15 [INFO] [stdout] | [INFO] [stdout] 640 | | ThreadLocalRef(_) [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Cast` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:641:15 [INFO] [stdout] | [INFO] [stdout] 641 | | Cast(_, _, _) [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `BinaryOp` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:642:15 [INFO] [stdout] | [INFO] [stdout] 642 | | BinaryOp(_, _) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `NullaryOp` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:643:15 [INFO] [stdout] | [INFO] [stdout] 643 | | NullaryOp(_, _) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `UnaryOp` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:644:15 [INFO] [stdout] | [INFO] [stdout] 644 | | UnaryOp(_, _) [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Aggregate` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:645:15 [INFO] [stdout] | [INFO] [stdout] 645 | | Aggregate(_, _) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ShallowInitBox` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:646:15 [INFO] [stdout] | [INFO] [stdout] 646 | | ShallowInitBox(_, _) => {} [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ref` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:648:14 [INFO] [stdout] | [INFO] [stdout] 648 | &Ref(_, _, place) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 1 + use crate::utils::ProjectionRefKind::Ref; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `RawPtr` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:649:16 [INFO] [stdout] | [INFO] [stdout] 649 | | &RawPtr(_, place) [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 1 + use crate::utils::ProjectionRefKind::RawPtr; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Len` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:650:16 [INFO] [stdout] | [INFO] [stdout] 650 | | &Len(place) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Discriminant` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:651:16 [INFO] [stdout] | [INFO] [stdout] 651 | | &Discriminant(place) [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `CopyForDeref` in this scope [INFO] [stdout] --> src/borrows/borrows_visitor.rs:652:16 [INFO] [stdout] | [INFO] [stdout] 652 | | &CopyForDeref(place) => { [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:142:13 [INFO] [stdout] | [INFO] [stdout] 142 | Use(_) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Repeat` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:143:15 [INFO] [stdout] | [INFO] [stdout] 143 | | Repeat(_, _) [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ThreadLocalRef` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:144:15 [INFO] [stdout] | [INFO] [stdout] 144 | | ThreadLocalRef(_) [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Cast` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:145:15 [INFO] [stdout] | [INFO] [stdout] 145 | | Cast(_, _, _) [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `BinaryOp` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:146:15 [INFO] [stdout] | [INFO] [stdout] 146 | | BinaryOp(_, _) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `NullaryOp` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:147:15 [INFO] [stdout] | [INFO] [stdout] 147 | | NullaryOp(_, _) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `UnaryOp` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:148:15 [INFO] [stdout] | [INFO] [stdout] 148 | | UnaryOp(_, _) [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Aggregate` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:149:15 [INFO] [stdout] | [INFO] [stdout] 149 | | Aggregate(_, _) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ShallowInitBox` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:150:15 [INFO] [stdout] | [INFO] [stdout] 150 | | ShallowInitBox(_, _) => return, [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ref` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:152:14 [INFO] [stdout] | [INFO] [stdout] 152 | &Ref(_, kind, place) => match kind { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 7 + use crate::utils::ProjectionRefKind::Ref; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `RawPtr` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:157:14 [INFO] [stdout] | [INFO] [stdout] 157 | &RawPtr(mutbl, place) => { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 7 + use crate::utils::ProjectionRefKind::RawPtr; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Len` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:164:14 [INFO] [stdout] | [INFO] [stdout] 164 | &Len(place) | &Discriminant(place) | &CopyForDeref(place) => Condition::read(place), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Discriminant` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:164:28 [INFO] [stdout] | [INFO] [stdout] 164 | &Len(place) | &Discriminant(place) | &CopyForDeref(place) => Condition::read(place), [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `CopyForDeref` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:164:51 [INFO] [stdout] | [INFO] [stdout] 164 | &Len(place) | &Discriminant(place) | &CopyForDeref(place) => Condition::read(place), [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Assign` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:173:14 [INFO] [stdout] | [INFO] [stdout] 173 | &Assign(box (place, ref rvalue)) => Triple { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `FakeRead` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:177:14 [INFO] [stdout] | [INFO] [stdout] 177 | &FakeRead(box (_, place)) => Triple { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `PlaceMention` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:182:14 [INFO] [stdout] | [INFO] [stdout] 182 | &PlaceMention(_) => return, [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SetDiscriminant` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:183:14 [INFO] [stdout] | [INFO] [stdout] 183 | &SetDiscriminant { box place, .. } => Triple { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Deinit` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:187:14 [INFO] [stdout] | [INFO] [stdout] 187 | &Deinit(box place) => Triple { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `StorageLive` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:191:14 [INFO] [stdout] | [INFO] [stdout] 191 | &StorageLive(local) => Triple { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `StorageDead` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:195:14 [INFO] [stdout] | [INFO] [stdout] 195 | &StorageDead(local) => Triple { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 7 + use crate::free_pcs::RepackOp::StorageDead; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Retag` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:199:14 [INFO] [stdout] | [INFO] [stdout] 199 | &Retag(_, box place) => Triple { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `AscribeUserType` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:203:13 [INFO] [stdout] | [INFO] [stdout] 203 | AscribeUserType(..) | Coverage(..) | Intrinsic(..) | ConstEvalCounter | Nop => return, [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Coverage` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:203:35 [INFO] [stdout] | [INFO] [stdout] 203 | AscribeUserType(..) | Coverage(..) | Intrinsic(..) | ConstEvalCounter | Nop => return, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Intrinsic` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:203:50 [INFO] [stdout] | [INFO] [stdout] 203 | AscribeUserType(..) | Coverage(..) | Intrinsic(..) | ConstEvalCounter | Nop => return, [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Assign` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:206:16 [INFO] [stdout] | [INFO] [stdout] 206 | if let Assign(box (_, Rvalue::Ref(_, kind, place))) = &statement.kind { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Goto` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:226:13 [INFO] [stdout] | [INFO] [stdout] 226 | Goto { .. } [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `SwitchInt` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:227:15 [INFO] [stdout] | [INFO] [stdout] 227 | | SwitchInt { .. } [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `UnwindTerminate` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:229:15 [INFO] [stdout] | [INFO] [stdout] 229 | | UnwindTerminate(_) [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Assert` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:231:15 [INFO] [stdout] | [INFO] [stdout] 231 | | Assert { .. } [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `FalseEdge` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:232:15 [INFO] [stdout] | [INFO] [stdout] 232 | | FalseEdge { .. } [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `FalseUnwind` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:233:15 [INFO] [stdout] | [INFO] [stdout] 233 | | FalseUnwind { .. } => return, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0574]: expected struct, variant or union type, found trait `Drop` [INFO] [stdout] --> src/free_pcs/impl/triple.rs:238:14 [INFO] [stdout] | [INFO] [stdout] 238 | &Drop { place, .. } => Triple { [INFO] [stdout] | ^^^^ not a struct, variant or union type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Call` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:242:14 [INFO] [stdout] | [INFO] [stdout] 242 | &Call { destination, .. } => { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Yield` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:248:14 [INFO] [stdout] | [INFO] [stdout] 248 | &Yield { resume_arg, .. } => Triple { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `InlineAsm` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:252:13 [INFO] [stdout] | [INFO] [stdout] 252 | InlineAsm { .. } => todo!("{terminator:?}"), [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ref` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:268:13 [INFO] [stdout] | [INFO] [stdout] 268 | Ref(_, BorrowKind::Fake(_), _) => None, [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 7 + use crate::utils::ProjectionRefKind::Ref; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:269:13 [INFO] [stdout] | [INFO] [stdout] 269 | Use(_) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Repeat` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:270:15 [INFO] [stdout] | [INFO] [stdout] 270 | | Repeat(_, _) [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ref` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:271:15 [INFO] [stdout] | [INFO] [stdout] 271 | | Ref(_, _, _) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 7 + use crate::utils::ProjectionRefKind::Ref; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `RawPtr` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:272:15 [INFO] [stdout] | [INFO] [stdout] 272 | | RawPtr(_, _) [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this tuple variant [INFO] [stdout] | [INFO] [stdout] 7 + use crate::utils::ProjectionRefKind::RawPtr; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ThreadLocalRef` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:273:15 [INFO] [stdout] | [INFO] [stdout] 273 | | ThreadLocalRef(_) [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Len` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:274:15 [INFO] [stdout] | [INFO] [stdout] 274 | | Len(_) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Cast` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:275:15 [INFO] [stdout] | [INFO] [stdout] 275 | | Cast(_, _, _) [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `BinaryOp` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:276:15 [INFO] [stdout] | [INFO] [stdout] 276 | | BinaryOp(_, _) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `NullaryOp` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:277:15 [INFO] [stdout] | [INFO] [stdout] 277 | | NullaryOp(_, _) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `UnaryOp` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:278:15 [INFO] [stdout] | [INFO] [stdout] 278 | | UnaryOp(_, _) [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Discriminant` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:279:15 [INFO] [stdout] | [INFO] [stdout] 279 | | Discriminant(_) [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Aggregate` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:280:15 [INFO] [stdout] | [INFO] [stdout] 280 | | Aggregate(_, _) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `CopyForDeref` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:281:15 [INFO] [stdout] | [INFO] [stdout] 281 | | CopyForDeref(_) => Some(CapabilityKind::Exclusive), [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ShallowInitBox` in this scope [INFO] [stdout] --> src/free_pcs/impl/triple.rs:282:13 [INFO] [stdout] | [INFO] [stdout] 282 | ShallowInitBox(_, _) => Some(CapabilityKind::ShallowExclusive), [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Index` in this scope [INFO] [stdout] --> src/utils/place.rs:205:32 [INFO] [stdout] | [INFO] [stdout] 205 | matches!(elem, Index(_) | ConstantIndex { .. } | Subslice { .. }) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope [INFO] [stdout] --> src/utils/place.rs:205:43 [INFO] [stdout] | [INFO] [stdout] 205 | matches!(elem, Index(_) | ConstantIndex { .. } | Subslice { .. }) [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Subslice` in this scope [INFO] [stdout] --> src/utils/place.rs:205:66 [INFO] [stdout] | [INFO] [stdout] 205 | matches!(elem, Index(_) | ConstantIndex { .. } | Subslice { .. }) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope [INFO] [stdout] --> src/utils/place.rs:208:18 [INFO] [stdout] | [INFO] [stdout] 208 | (Field(..), Field(..)) => None, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope [INFO] [stdout] --> src/utils/place.rs:208:29 [INFO] [stdout] | [INFO] [stdout] 208 | (Field(..), Field(..)) => None, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope [INFO] [stdout] --> src/utils/place.rs:210:21 [INFO] [stdout] | [INFO] [stdout] 210 | ConstantIndex { [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope [INFO] [stdout] --> src/utils/place.rs:215:21 [INFO] [stdout] | [INFO] [stdout] 215 | ConstantIndex { [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope [INFO] [stdout] --> src/utils/place.rs:221:18 [INFO] [stdout] | [INFO] [stdout] 221 | (Downcast(_, _), Downcast(_, _)) | (OpaqueCast(_), OpaqueCast(_)) => { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope [INFO] [stdout] --> src/utils/place.rs:221:34 [INFO] [stdout] | [INFO] [stdout] 221 | (Downcast(_, _), Downcast(_, _)) | (OpaqueCast(_), OpaqueCast(_)) => { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `OpaqueCast` in this scope [INFO] [stdout] --> src/utils/place.rs:221:53 [INFO] [stdout] | [INFO] [stdout] 221 | (Downcast(_, _), Downcast(_, _)) | (OpaqueCast(_), OpaqueCast(_)) => { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `OpaqueCast` in this scope [INFO] [stdout] --> src/utils/place.rs:221:68 [INFO] [stdout] | [INFO] [stdout] 221 | (Downcast(_, _), Downcast(_, _)) | (OpaqueCast(_), OpaqueCast(_)) => { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope [INFO] [stdout] --> src/utils/place.rs:460:10 [INFO] [stdout] | [INFO] [stdout] 460 | (Field(left, _), Field(right, _)) => left == right, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope [INFO] [stdout] --> src/utils/place.rs:460:26 [INFO] [stdout] | [INFO] [stdout] 460 | (Field(left, _), Field(right, _)) => left == right, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope [INFO] [stdout] --> src/utils/place.rs:461:10 [INFO] [stdout] | [INFO] [stdout] 461 | (Downcast(_, left), Downcast(_, right)) => left == right, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope [INFO] [stdout] --> src/utils/place.rs:461:29 [INFO] [stdout] | [INFO] [stdout] 461 | (Downcast(_, left), Downcast(_, right)) => left == right, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `collections::BTreeSet` [INFO] [stdout] --> src/borrows/borrows_visitor.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::BTreeSet, rc::Rc}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BorrowPCGEdgeKind` and `BorrowPCGEdge` [INFO] [stdout] --> src/borrows/borrows_visitor.rs:30:36 [INFO] [stdout] | [INFO] [stdout] 30 | borrow_pcg_edge::{BlockedNode, BorrowPCGEdge, BorrowPCGEdgeKind}, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MaybeOldPlace` and `region_projection::RegionProjection` [INFO] [stdout] --> src/borrows/region_abstraction.rs:9:9 [INFO] [stdout] | [INFO] [stdout] 9 | MaybeOldPlace, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 13 | region_projection::RegionProjection, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `utils::SnapshotLocation` [INFO] [stdout] --> src/visualization/legend.rs:1:39 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{free_pcs::CapabilityKind, utils::SnapshotLocation, visualization::{GraphNode, NodeId, NodeType}}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/borrows/engine.rs:149:51 [INFO] [stdout] | [INFO] [stdout] 149 | fn bottom_value(&self, _body: &Body<'tcx>) -> Self::Domain { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `BorrowsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 149 | fn bottom_value(&self, _body: &Body<'tcx>) -> as Example>::Domain { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/borrows/engine.rs:153:71 [INFO] [stdout] | [INFO] [stdout] 153 | fn initialize_start_block(&self, _body: &Body<'tcx>, _state: &mut Self::Domain) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `BorrowsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 153 | fn initialize_start_block(&self, _body: &Body<'tcx>, _state: &mut as Example>::Domain) { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/borrows/engine.rs:228:22 [INFO] [stdout] | [INFO] [stdout] 228 | _state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `BorrowsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 228 | _state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/combined_pcs/engine.rs:175:50 [INFO] [stdout] | [INFO] [stdout] 175 | fn bottom_value(&self, body: &Body<'tcx>) -> Self::Domain { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `combined_pcs::engine::PCGEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 175 | fn bottom_value(&self, body: &Body<'tcx>) -> as Example>::Domain { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/combined_pcs/engine.rs:193:70 [INFO] [stdout] | [INFO] [stdout] 193 | fn initialize_start_block(&self, _body: &Body<'tcx>, state: &mut Self::Domain) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `combined_pcs::engine::PCGEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 193 | fn initialize_start_block(&self, _body: &Body<'tcx>, state: &mut as Example>::Domain) { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/combined_pcs/engine.rs:233:21 [INFO] [stdout] | [INFO] [stdout] 233 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `combined_pcs::engine::PCGEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 233 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/combined_pcs/engine.rs:278:21 [INFO] [stdout] | [INFO] [stdout] 278 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `combined_pcs::engine::PCGEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 278 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/combined_pcs/engine.rs:294:21 [INFO] [stdout] | [INFO] [stdout] 294 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `combined_pcs::engine::PCGEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 294 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/combined_pcs/engine.rs:320:21 [INFO] [stdout] | [INFO] [stdout] 320 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `combined_pcs::engine::PCGEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 320 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/combined_pcs/engine.rs:338:22 [INFO] [stdout] | [INFO] [stdout] 338 | _state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `combined_pcs::engine::PCGEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 338 | _state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/free_pcs/impl/engine.rs:28:51 [INFO] [stdout] | [INFO] [stdout] 28 | fn bottom_value(&self, _body: &Body<'tcx>) -> Self::Domain { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FpcsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 28 | fn bottom_value(&self, _body: &Body<'tcx>) -> as Example>::Domain { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/free_pcs/impl/engine.rs:32:70 [INFO] [stdout] | [INFO] [stdout] 32 | fn initialize_start_block(&self, _body: &Body<'tcx>, state: &mut Self::Domain) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FpcsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 32 | fn initialize_start_block(&self, _body: &Body<'tcx>, state: &mut as Example>::Domain) { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/free_pcs/impl/engine.rs:40:21 [INFO] [stdout] | [INFO] [stdout] 40 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FpcsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 40 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/free_pcs/impl/engine.rs:50:21 [INFO] [stdout] | [INFO] [stdout] 50 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FpcsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 50 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/free_pcs/impl/engine.rs:61:21 [INFO] [stdout] | [INFO] [stdout] 61 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FpcsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 61 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/free_pcs/impl/engine.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FpcsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 71 | state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> src/free_pcs/impl/engine.rs:83:22 [INFO] [stdout] | [INFO] [stdout] 83 | _state: &mut Self::Domain, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `Domain` implemented for `FpcsEngine<'a, 'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 83 | _state: &mut as Example>::Domain, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0119]: conflicting implementations of trait `TryFrom>` for type `MaybeOldPlace<'_>` [INFO] [stdout] --> src/borrows/domain.rs:223:1 [INFO] [stdout] | [INFO] [stdout] 223 | impl<'tcx> TryFrom> for MaybeOldPlace<'tcx> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: conflicting implementation in crate `core`: [INFO] [stdout] - impl TryFrom for T [INFO] [stdout] where U: Into; [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0119]: conflicting implementations of trait `TryFrom>` for type `MaybeOldPlace<'_>` [INFO] [stdout] --> src/borrows/domain.rs:233:1 [INFO] [stdout] | [INFO] [stdout] 233 | impl<'tcx> TryFrom> for MaybeOldPlace<'tcx> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: conflicting implementation in crate `core`: [INFO] [stdout] - impl TryFrom for T [INFO] [stdout] where U: Into; [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `projection` on type `utils::place::Place<'tcx>` [INFO] [stdout] --> src/utils/place.rs:172:25 [INFO] [stdout] | [INFO] [stdout] 172 | let left = self.projection.iter().copied(); [INFO] [stdout] | ^^^^^^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `0`, `1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `projection` on type `utils::place::Place<'tcx>` [INFO] [stdout] --> src/utils/place.rs:173:27 [INFO] [stdout] | [INFO] [stdout] 173 | let right = other.projection.iter().copied(); [INFO] [stdout] | ^^^^^^^^^^ unknown field [INFO] [stdout] | [INFO] [stdout] = note: available fields are: `0`, `1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `local` on type `utils::place::Place<'tcx>` [INFO] [stdout] --> src/utils/repacker.rs:546:72 [INFO] [stdout] | [INFO] [stdout] 546 | let mut typ = PlaceTy::from_ty(repacker.mir.local_decls()[self.local].ty); [INFO] [stdout] | ^^^^^ unknown field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `projection` on type `utils::place::Place<'tcx>` [INFO] [stdout] --> src/utils/repacker.rs:547:14 [INFO] [stdout] | [INFO] [stdout] 547 | self.projection.iter().enumerate().map(move |(idx, elem)| { [INFO] [stdout] | ^^^^^^^^^^ unknown field [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0609]: no field `projection` on type `utils::place::Place<'tcx>` [INFO] [stdout] --> src/utils/repacker.rs:548:35 [INFO] [stdout] | [INFO] [stdout] 548 | let ret = (typ, &self.projection[0..idx]); [INFO] [stdout] | ^^^^^^^^^^ unknown field [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking hyper v0.14.29 [INFO] [stdout] error[E0599]: no function or associated item named `new` found for struct `LoopId` in the current scope [INFO] [stdout] --> src/loop/mod.rs:62:39 [INFO] [stdout] | [INFO] [stdout] 62 | .map(move |i| LoopId::new(idx * Self::OFFSET + i)) [INFO] [stdout] | ^^^ function or associated item not found in `LoopId` [INFO] [stdout] ... [INFO] [stdout] 168 | pub struct LoopId(usize); [INFO] [stdout] | ----------------- function or associated item `new` not found for this struct [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] = note: the following traits define an item `new`, perhaps you need to implement one of them: [INFO] [stdout] candidate #1: `IndexType` [INFO] [stdout] candidate #2: `Nullable` [INFO] [stdout] candidate #3: `itertools::adaptors::coalesce::CountItem` [INFO] [stdout] help: there is a method `ne` with a similar name [INFO] [stdout] | [INFO] [stdout] 62 | .map(move |i| LoopId::ne(idx * Self::OFFSET + i)) [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0119, E0223, E0408, E0422, E0432, E0463, E0531, E0574, E0599... [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0119`. [INFO] [stdout] [INFO] [stderr] error: could not compile `pcs` (lib) due to 123 previous errors; 4 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "cc38a6b43222a2f27b6ec7d3a180cf7aa6ecadd43c894e3b74f0fbb4fd2c29bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cc38a6b43222a2f27b6ec7d3a180cf7aa6ecadd43c894e3b74f0fbb4fd2c29bb", kill_on_drop: false }` [INFO] [stdout] cc38a6b43222a2f27b6ec7d3a180cf7aa6ecadd43c894e3b74f0fbb4fd2c29bb