[INFO] cloning repository https://github.com/dsgallups/rust_compiler_2026_1_7
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/dsgallups/rust_compiler_2026_1_7" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdsgallups%2Frust_compiler_2026_1_7", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdsgallups%2Frust_compiler_2026_1_7'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e80a48aadb7881ee0543cb1d6098ee3100532766
[INFO] checking dsgallups/rust_compiler_2026_1_7 against 615014f15745532730b9ce7a1d9309f8b4756f93 for pr-160491
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdsgallups%2Frust_compiler_2026_1_7" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/dsgallups/rust_compiler_2026_1_7
[INFO] finished tweaking git repo https://github.com/dsgallups/rust_compiler_2026_1_7
[INFO] tweaked toml for git repo https://github.com/dsgallups/rust_compiler_2026_1_7 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/dsgallups/rust_compiler_2026_1_7 on toolchain 615014f15745532730b9ce7a1d9309f8b4756f93
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+615014f15745532730b9ce7a1d9309f8b4756f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/dsgallups/rust_compiler_2026_1_7 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" "+615014f15745532730b9ce7a1d9309f8b4756f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef
[INFO] running `Command { std: "docker" "start" "407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef" "/opt/rustwide/cargo-home/bin/cargo" "+615014f15745532730b9ce7a1d9309f8b4756f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef" "/opt/rustwide/cargo-home/bin/cargo" "+615014f15745532730b9ce7a1d9309f8b4756f93" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking rust_compiler_2026_1_7 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0277]: the trait bound `P: example_one::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_one.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout] 15 | |     where
[INFO] [stdout] 16 | |         P: PassedIn<Self::A>,
[INFO] [stdout] 17 | |         P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |______________________________________^ the trait `example_one::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: example_one::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_one.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout] 15 | |     where
[INFO] [stdout] 16 | |         P: PassedIn<Self::A>,
[INFO] [stdout] 17 | |         P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |______________________________________^ the trait `example_one::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0276]: impl has stricter requirements than trait
[INFO] [stdout]   --> src/example_one.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout]  5 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout]  6 | |     where
[INFO] [stdout]  7 | |         P: PassedIn<Self::A>,
[INFO] [stdout]  8 | |         P::Visited: PassedIn<Self::B>;
[INFO] [stdout]    | |______________________________________- definition of `test_traverse` from trait
[INFO] [stdout] ...
[INFO] [stdout] 16 |           P: PassedIn<Self::A>,
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^ impl has extra requirement `P: example_one::PassedIn<A>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0276]: impl has stricter requirements than trait
[INFO] [stdout]   --> src/example_one.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout]  5 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout]  6 | |     where
[INFO] [stdout]  7 | |         P: PassedIn<Self::A>,
[INFO] [stdout]  8 | |         P::Visited: PassedIn<Self::B>;
[INFO] [stdout]    | |______________________________________- definition of `test_traverse` from trait
[INFO] [stdout] ...
[INFO] [stdout] 16 |           P: PassedIn<Self::A>,
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^ impl has extra requirement `P: example_one::PassedIn<A>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: example_one_newtype::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_one_newtype.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout] 17 | |     where
[INFO] [stdout] 18 | |         P: PassedIn<Self::A>,
[INFO] [stdout] 19 | |         P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |______________________________________^ the trait `example_one_newtype::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0276]: impl has stricter requirements than trait
[INFO] [stdout]   --> src/example_one_newtype.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout]  5 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout]  6 | |     where
[INFO] [stdout]  7 | |         P: PassedIn<Self::A>,
[INFO] [stdout]  8 | |         P::Visited: PassedIn<Self::B>;
[INFO] [stdout]    | |______________________________________- definition of `test_traverse` from trait
[INFO] [stdout] ...
[INFO] [stdout] 18 |           P: PassedIn<Self::A>,
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^ impl has extra requirement `P: example_one_newtype::PassedIn<A>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: example_one_newtype::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_one_newtype.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout] 17 | |     where
[INFO] [stdout] 18 | |         P: PassedIn<Self::A>,
[INFO] [stdout] 19 | |         P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |______________________________________^ the trait `example_one_newtype::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0276]: impl has stricter requirements than trait
[INFO] [stdout]   --> src/example_one_newtype.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout]  5 | /     fn test_traverse<P>(self, processor: P)
[INFO] [stdout]  6 | |     where
[INFO] [stdout]  7 | |         P: PassedIn<Self::A>,
[INFO] [stdout]  8 | |         P::Visited: PassedIn<Self::B>;
[INFO] [stdout]    | |______________________________________- definition of `test_traverse` from trait
[INFO] [stdout] ...
[INFO] [stdout] 18 |           P: PassedIn<Self::A>,
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^ impl has extra requirement `P: example_one_newtype::PassedIn<A>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as example_two::PassedIn<_>>::Visited: example_two::PassedIn<B>` is not satisfied
[INFO] [stdout]   --> src/example_two.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | / impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout] 13 | | where
[INFO] [stdout] 14 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 15 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two::PassedIn<B>` is not implemented for `<P as example_two::PassedIn<_>>::Visited`
[INFO] [stdout]    |
[INFO] [stdout] help: this trait has no implementations, consider adding one
[INFO] [stdout]   --> src/example_two.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub trait PassedIn<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required for `(A, B)` to implement `example_two::TestTrait<P>`
[INFO] [stdout]   --> src/example_two.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    |                 ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as example_two::PassedIn<_>>::Visited: example_two::PassedIn<B>` is not satisfied
[INFO] [stdout]   --> src/example_two.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | / impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout] 13 | | where
[INFO] [stdout] 14 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 15 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two::PassedIn<B>` is not implemented for `<P as example_two::PassedIn<_>>::Visited`
[INFO] [stdout]    |
[INFO] [stdout] help: this trait has no implementations, consider adding one
[INFO] [stdout]   --> src/example_two.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub trait PassedIn<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required for `(A, B)` to implement `example_two::TestTrait<P>`
[INFO] [stdout]   --> src/example_two.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    |                 ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: example_two::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_two.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | / impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout] 13 | | where
[INFO] [stdout] 14 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 15 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: example_two::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_two.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | / impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout] 13 | | where
[INFO] [stdout] 14 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 15 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<(A, B) as example_two::TestTrait<P>>::A == <(A, B) as example_two::TestTrait<P>>::A`
[INFO] [stdout]   --> src/example_two.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | / impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout] 13 | | where
[INFO] [stdout] 14 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 15 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^
[INFO] [stdout] 16 |   {
[INFO] [stdout] 17 |       type A = A;
[INFO] [stdout]    |       ------ associated type `<(A, B) as example_two::TestTrait<P>>::A` is specified here
[INFO] [stdout]    |
[INFO] [stdout] note: required for `(A, B)` to implement `example_two::TestTrait<P>`
[INFO] [stdout]   --> src/example_two.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^
[INFO] [stdout] 13 | where
[INFO] [stdout] 14 |     P: PassedIn<Self::A>,
[INFO] [stdout]    |        ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] help: replace the associated type with the type specified in this `impl`
[INFO] [stdout]    |
[INFO] [stdout] 14 -     P: PassedIn<Self::A>,
[INFO] [stdout] 14 +     P: PassedIn<A>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<(A, B) as example_two::TestTrait<P>>::A == <(A, B) as example_two::TestTrait<P>>::A`
[INFO] [stdout]   --> src/example_two.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | / impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout] 13 | | where
[INFO] [stdout] 14 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 15 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^
[INFO] [stdout] 16 |   {
[INFO] [stdout] 17 |       type A = A;
[INFO] [stdout]    |       ------ associated type `<(A, B) as example_two::TestTrait<P>>::A` is specified here
[INFO] [stdout]    |
[INFO] [stdout] note: required for `(A, B)` to implement `example_two::TestTrait<P>`
[INFO] [stdout]   --> src/example_two.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<A, B, P> TestTrait<P> for (A, B)
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^
[INFO] [stdout] 13 | where
[INFO] [stdout] 14 |     P: PassedIn<Self::A>,
[INFO] [stdout]    |        ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] help: replace the associated type with the type specified in this `impl`
[INFO] [stdout]    |
[INFO] [stdout] 14 -     P: PassedIn<Self::A>,
[INFO] [stdout] 14 +     P: PassedIn<A>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as example_two_newtype::PassedIn<_>>::Visited: example_two_newtype::PassedIn<B>` is not satisfied
[INFO] [stdout]   --> src/example_two_newtype.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | / impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout] 14 | | where
[INFO] [stdout] 15 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 16 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two_newtype::PassedIn<B>` is not implemented for `<P as example_two_newtype::PassedIn<_>>::Visited`
[INFO] [stdout]    |
[INFO] [stdout] help: this trait has no implementations, consider adding one
[INFO] [stdout]   --> src/example_two_newtype.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub trait PassedIn<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required for `example_two_newtype::Ab<A, B>` to implement `example_two_newtype::TestTrait<P>`
[INFO] [stdout]   --> src/example_two_newtype.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 16 |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    |                 ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: example_two_newtype::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_two_newtype.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | / impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout] 14 | | where
[INFO] [stdout] 15 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 16 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two_newtype::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<P as example_two_newtype::PassedIn<_>>::Visited: example_two_newtype::PassedIn<B>` is not satisfied
[INFO] [stdout]   --> src/example_two_newtype.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | / impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout] 14 | | where
[INFO] [stdout] 15 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 16 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two_newtype::PassedIn<B>` is not implemented for `<P as example_two_newtype::PassedIn<_>>::Visited`
[INFO] [stdout]    |
[INFO] [stdout] help: this trait has no implementations, consider adding one
[INFO] [stdout]   --> src/example_two_newtype.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub trait PassedIn<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: required for `example_two_newtype::Ab<A, B>` to implement `example_two_newtype::TestTrait<P>`
[INFO] [stdout]   --> src/example_two_newtype.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 16 |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    |                 ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<example_two_newtype::Ab<A, B> as example_two_newtype::TestTrait<P>>::A == <example_two_newtype::Ab<A, B> as example_two_newtype::TestTrait<P>>::A`
[INFO] [stdout]   --> src/example_two_newtype.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | / impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout] 14 | | where
[INFO] [stdout] 15 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 16 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^
[INFO] [stdout] 17 |   {
[INFO] [stdout] 18 |       type A = A;
[INFO] [stdout]    |       ------ associated type `<example_two_newtype::Ab<A, B> as example_two_newtype::TestTrait<P>>::A` is specified here
[INFO] [stdout]    |
[INFO] [stdout] note: required for `example_two_newtype::Ab<A, B>` to implement `example_two_newtype::TestTrait<P>`
[INFO] [stdout]   --> src/example_two_newtype.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^^^
[INFO] [stdout] 14 | where
[INFO] [stdout] 15 |     P: PassedIn<Self::A>,
[INFO] [stdout]    |        ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] help: replace the associated type with the type specified in this `impl`
[INFO] [stdout]    |
[INFO] [stdout] 15 -     P: PassedIn<Self::A>,
[INFO] [stdout] 15 +     P: PassedIn<A>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `P: example_two_newtype::PassedIn<A>` is not satisfied
[INFO] [stdout]   --> src/example_two_newtype.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | / impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout] 14 | | where
[INFO] [stdout] 15 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 16 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^ the trait `example_two_newtype::PassedIn<A>` is not implemented for `P`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<example_two_newtype::Ab<A, B> as example_two_newtype::TestTrait<P>>::A == <example_two_newtype::Ab<A, B> as example_two_newtype::TestTrait<P>>::A`
[INFO] [stdout]   --> src/example_two_newtype.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | / impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout] 14 | | where
[INFO] [stdout] 15 | |     P: PassedIn<Self::A>,
[INFO] [stdout] 16 | |     P::Visited: PassedIn<Self::B>,
[INFO] [stdout]    | |__________________________________^
[INFO] [stdout] 17 |   {
[INFO] [stdout] 18 |       type A = A;
[INFO] [stdout]    |       ------ associated type `<example_two_newtype::Ab<A, B> as example_two_newtype::TestTrait<P>>::A` is specified here
[INFO] [stdout]    |
[INFO] [stdout] note: required for `example_two_newtype::Ab<A, B>` to implement `example_two_newtype::TestTrait<P>`
[INFO] [stdout]   --> src/example_two_newtype.rs:13:15
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<A, B, P> TestTrait<P> for Ab<A, B>
[INFO] [stdout]    |               ^^^^^^^^^^^^     ^^^^^^^^
[INFO] [stdout] 14 | where
[INFO] [stdout] 15 |     P: PassedIn<Self::A>,
[INFO] [stdout]    |        ----------------- unsatisfied trait bound introduced here
[INFO] [stdout] help: replace the associated type with the type specified in this `impl`
[INFO] [stdout]    |
[INFO] [stdout] 15 -     P: PassedIn<Self::A>,
[INFO] [stdout] 15 +     P: PassedIn<A>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0275, E0276, E0277.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0275, E0276, E0277.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust_compiler_2026_1_7` (lib test) due to 10 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `rust_compiler_2026_1_7` (lib) due to 10 previous errors
[INFO] running `Command { std: "docker" "inspect" "407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef", kill_on_drop: false }`
[INFO] [stdout] 407c06b426e92e66fcacba1b6e41cc107cd40004cfd6380466a6f705a3a1edef
