[INFO] cloning repository https://github.com/0xddom/libafl-playground
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/0xddom/libafl-playground" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0xddom%2Flibafl-playground", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0xddom%2Flibafl-playground'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 6828a24ca7d83023646dc434bf8ee6e0cade9810
[INFO] checking 0xddom/libafl-playground against try#c8085cfed34c45021fc8f66d073f6394b3e35431 for pr-148939
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F0xddom%2Flibafl-playground" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/0xddom/libafl-playground
[INFO] finished tweaking git repo https://github.com/0xddom/libafl-playground
[INFO] tweaked toml for git repo https://github.com/0xddom/libafl-playground written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/0xddom/libafl-playground on toolchain c8085cfed34c45021fc8f66d073f6394b3e35431
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/0xddom/libafl-playground 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" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e5848e4a838e9f68c4ca98c090b525ffb2f6f6e457e20ea1499a8af10123884f
[INFO] running `Command { std: "docker" "start" "-a" "e5848e4a838e9f68c4ca98c090b525ffb2f6f6e457e20ea1499a8af10123884f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e5848e4a838e9f68c4ca98c090b525ffb2f6f6e457e20ea1499a8af10123884f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e5848e4a838e9f68c4ca98c090b525ffb2f6f6e457e20ea1499a8af10123884f", kill_on_drop: false }`
[INFO] [stdout] e5848e4a838e9f68c4ca98c090b525ffb2f6f6e457e20ea1499a8af10123884f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+c8085cfed34c45021fc8f66d073f6394b3e35431" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b3decdcb8390dddc6bf54e0440141afa7b9a59f1f3a363302e48c34b2e7e6f3f
[INFO] running `Command { std: "docker" "start" "-a" "b3decdcb8390dddc6bf54e0440141afa7b9a59f1f3a363302e48c34b2e7e6f3f", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling serde v1.0.204
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling signal-hook v0.3.17
[INFO] [stderr]    Compiling cc v1.1.0
[INFO] [stderr]    Compiling cfg_aliases v0.2.1
[INFO] [stderr]    Compiling serde_json v1.0.120
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling nix v0.29.0
[INFO] [stderr]    Compiling typewit_proc_macros v1.8.1
[INFO] [stderr]     Checking once_cell v1.19.0
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking log v0.4.22
[INFO] [stderr]     Checking smallvec v1.13.2
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking allocator-api2 v0.2.18
[INFO] [stderr]     Checking ryu v1.0.18
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling memoffset v0.9.1
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking bitflags v2.6.0
[INFO] [stderr]     Checking gimli v0.29.0
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]     Checking sdd v0.2.0
[INFO] [stderr]    Compiling libafl_bolts v0.13.1
[INFO] [stderr]    Compiling libafl v0.13.1
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]    Compiling syn v2.0.70
[INFO] [stderr]     Checking miniz_oxide v0.7.4
[INFO] [stderr]     Checking scc v2.1.2
[INFO] [stderr]     Checking castaway v0.2.3
[INFO] [stderr]    Compiling const_format_proc_macros v0.2.32
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking object v0.36.1
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]     Checking signal-hook-registry v1.4.2
[INFO] [stderr]    Compiling backtrace v0.3.73
[INFO] [stderr]     Checking mio v0.8.11
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking unicode-width v0.1.13
[INFO] [stderr]     Checking unicode-segmentation v1.11.0
[INFO] [stderr]     Checking signal-hook-mio v0.2.3
[INFO] [stderr]     Checking typeid v1.0.0
[INFO] [stderr]     Checking regex-syntax v0.8.4
[INFO] [stderr]     Checking cobs v0.2.3
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]     Checking embedded-io v0.4.0
[INFO] [stderr]     Checking unicode-truncate v1.1.0
[INFO] [stderr]     Checking uds v0.4.2
[INFO] [stderr]     Checking hostname v0.4.0
[INFO] [stderr]     Checking crossterm v0.27.0
[INFO] [stderr]     Checking compact_str v0.7.1
[INFO] [stderr]     Checking itertools v0.12.1
[INFO] [stderr]     Checking addr2line v0.22.0
[INFO] [stderr]     Checking typewit v1.9.0
[INFO] [stderr]     Checking tuple_list v0.1.3
[INFO] [stderr]     Checking xxhash-rust v0.8.11
[INFO] [stderr]     Checking cassowary v0.3.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking const_panic v0.2.8
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking const_format v0.2.32
[INFO] [stderr]     Checking regex-automata v0.4.7
[INFO] [stderr]    Compiling c2rust-bitfields-derive v0.18.0
[INFO] [stderr]    Compiling serde_derive v1.0.204
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]    Compiling serial_test_derive v3.1.1
[INFO] [stderr]    Compiling num_enum_derive v0.7.2
[INFO] [stderr]    Compiling stability v0.2.1
[INFO] [stderr]    Compiling libafl_derive v0.13.1
[INFO] [stderr]    Compiling typed-builder-macro v0.18.2
[INFO] [stderr]    Compiling ctor v0.2.8
[INFO] [stderr]     Checking c2rust-bitfields v0.18.0
[INFO] [stderr]     Checking serial_test v3.1.1
[INFO] [stderr]     Checking typed-builder v0.18.2
[INFO] [stderr]     Checking num_enum v0.7.2
[INFO] [stderr]     Checking regex v1.10.5
[INFO] [stderr]     Checking strum v0.26.3
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking postcard v1.0.8
[INFO] [stderr]     Checking uuid v1.10.0
[INFO] [stderr]     Checking erased-serde v0.4.5
[INFO] [stderr]     Checking meminterval v0.4.1
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking lru v0.12.3
[INFO] [stderr]     Checking ratatui v0.26.3
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | / impl<C, E, EM, O, Z> Stage<E, EM, Z> for GeneralizationStage<C, EM, O, E::Observers, Z>
[INFO] [stdout] 72 | | where
[INFO] [stdout] 73 | |     O: MapObserver,
[INFO] [stdout] 74 | |     C: CanTrack + AsRef<O> + Named,
[INFO] [stdout] ...  |
[INFO] [stdout] 78 | |     EM: UsesState,
[INFO] [stdout] 79 | |     Z: UsesState<State = Self::State>,
[INFO] [stdout]    | |______________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | / impl<C, E, EM, O, Z> Stage<E, EM, Z> for GeneralizationStage<C, EM, O, E::Observers, Z>
[INFO] [stdout] 72 | | where
[INFO] [stdout] 73 | |     O: MapObserver,
[INFO] [stdout] 74 | |     C: CanTrack + AsRef<O> + Named,
[INFO] [stdout] ...  |
[INFO] [stdout] 78 | |     EM: UsesState,
[INFO] [stdout] 79 | |     Z: UsesState<State = Self::State>,
[INFO] [stdout]    | |______________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | / impl<C, E, EM, O, Z> Stage<E, EM, Z> for GeneralizationStage<C, EM, O, E::Observers, Z>
[INFO] [stdout] 72 | | where
[INFO] [stdout] 73 | |     O: MapObserver,
[INFO] [stdout] 74 | |     C: CanTrack + AsRef<O> + Named,
[INFO] [stdout] ...  |
[INFO] [stdout] 78 | |     EM: UsesState,
[INFO] [stdout] 79 | |     Z: UsesState<State = Self::State>,
[INFO] [stdout]    | |______________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 | /     fn perform(
[INFO] [stdout] 84 | |         &mut self,
[INFO] [stdout] 85 | |         fuzzer: &mut Z,
[INFO] [stdout] 86 | |         executor: &mut E,
[INFO] [stdout] 87 | |         state: &mut Self::State,
[INFO] [stdout] 88 | |         manager: &mut EM,
[INFO] [stdout] 89 | |     ) -> Result<(), Error> {
[INFO] [stdout]    | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 | /     fn perform(
[INFO] [stdout] 84 | |         &mut self,
[INFO] [stdout] 85 | |         fuzzer: &mut Z,
[INFO] [stdout] 86 | |         executor: &mut E,
[INFO] [stdout] 87 | |         state: &mut Self::State,
[INFO] [stdout] 88 | |         manager: &mut EM,
[INFO] [stdout] 89 | |     ) -> Result<(), Error> {
[INFO] [stdout]    | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 | /     fn perform(
[INFO] [stdout] 84 | |         &mut self,
[INFO] [stdout] 85 | |         fuzzer: &mut Z,
[INFO] [stdout] 86 | |         executor: &mut E,
[INFO] [stdout] 87 | |         state: &mut Self::State,
[INFO] [stdout] 88 | |         manager: &mut EM,
[INFO] [stdout] 89 | |     ) -> Result<(), Error> {
[INFO] [stdout]    | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:329:5
[INFO] [stdout]     |
[INFO] [stdout] 329 |     fn should_restart(&mut self, state: &mut Self::State) -> Result<bool, Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:329:5
[INFO] [stdout]     |
[INFO] [stdout] 329 |     fn should_restart(&mut self, state: &mut Self::State) -> Result<bool, Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:329:5
[INFO] [stdout]     |
[INFO] [stdout] 329 |     fn should_restart(&mut self, state: &mut Self::State) -> Result<bool, Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:335:5
[INFO] [stdout]     |
[INFO] [stdout] 335 |     fn clear_progress(&mut self, state: &mut Self::State) -> Result<(), Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:335:5
[INFO] [stdout]     |
[INFO] [stdout] 335 |     fn clear_progress(&mut self, state: &mut Self::State) -> Result<(), Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:335:5
[INFO] [stdout]     |
[INFO] [stdout] 335 |     fn clear_progress(&mut self, state: &mut Self::State) -> Result<(), Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:341:1
[INFO] [stdout]     |
[INFO] [stdout] 341 | / impl<C, EM, O, OT, Z> GeneralizationStage<C, EM, O, OT, Z>
[INFO] [stdout] 342 | | where
[INFO] [stdout] 343 | |     EM: UsesState,
[INFO] [stdout] 344 | |     O: MapObserver,
[INFO] [stdout] ...   |
[INFO] [stdout] 347 | |     <Self as UsesState>::State:
[INFO] [stdout] 348 | |         UsesInput<Input = BytesInput> + HasExecutions + HasMetadata + HasCorpus,
[INFO] [stdout]     | |________________________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | / impl<C, E, EM, O, Z> Stage<E, EM, Z> for GeneralizationStage<C, EM, O, E::Observers, Z>
[INFO] [stdout] 72 | | where
[INFO] [stdout] 73 | |     O: MapObserver,
[INFO] [stdout] 74 | |     C: CanTrack + AsRef<O> + Named,
[INFO] [stdout] ...  |
[INFO] [stdout] 78 | |     EM: UsesState,
[INFO] [stdout] 79 | |     Z: UsesState<State = Self::State>,
[INFO] [stdout]    | |______________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | / impl<C, E, EM, O, Z> Stage<E, EM, Z> for GeneralizationStage<C, EM, O, E::Observers, Z>
[INFO] [stdout] 72 | | where
[INFO] [stdout] 73 | |     O: MapObserver,
[INFO] [stdout] 74 | |     C: CanTrack + AsRef<O> + Named,
[INFO] [stdout] ...  |
[INFO] [stdout] 78 | |     EM: UsesState,
[INFO] [stdout] 79 | |     Z: UsesState<State = Self::State>,
[INFO] [stdout]    | |______________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:71:1
[INFO] [stdout]    |
[INFO] [stdout] 71 | / impl<C, E, EM, O, Z> Stage<E, EM, Z> for GeneralizationStage<C, EM, O, E::Observers, Z>
[INFO] [stdout] 72 | | where
[INFO] [stdout] 73 | |     O: MapObserver,
[INFO] [stdout] 74 | |     C: CanTrack + AsRef<O> + Named,
[INFO] [stdout] ...  |
[INFO] [stdout] 78 | |     EM: UsesState,
[INFO] [stdout] 79 | |     Z: UsesState<State = Self::State>,
[INFO] [stdout]    | |______________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 | /     fn perform(
[INFO] [stdout] 84 | |         &mut self,
[INFO] [stdout] 85 | |         fuzzer: &mut Z,
[INFO] [stdout] 86 | |         executor: &mut E,
[INFO] [stdout] 87 | |         state: &mut Self::State,
[INFO] [stdout] 88 | |         manager: &mut EM,
[INFO] [stdout] 89 | |     ) -> Result<(), Error> {
[INFO] [stdout]    | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 | /     fn perform(
[INFO] [stdout] 84 | |         &mut self,
[INFO] [stdout] 85 | |         fuzzer: &mut Z,
[INFO] [stdout] 86 | |         executor: &mut E,
[INFO] [stdout] 87 | |         state: &mut Self::State,
[INFO] [stdout] 88 | |         manager: &mut EM,
[INFO] [stdout] 89 | |     ) -> Result<(), Error> {
[INFO] [stdout]    | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 | /     fn perform(
[INFO] [stdout] 84 | |         &mut self,
[INFO] [stdout] 85 | |         fuzzer: &mut Z,
[INFO] [stdout] 86 | |         executor: &mut E,
[INFO] [stdout] 87 | |         state: &mut Self::State,
[INFO] [stdout] 88 | |         manager: &mut EM,
[INFO] [stdout] 89 | |     ) -> Result<(), Error> {
[INFO] [stdout]    | |__________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:329:5
[INFO] [stdout]     |
[INFO] [stdout] 329 |     fn should_restart(&mut self, state: &mut Self::State) -> Result<bool, Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:329:5
[INFO] [stdout]     |
[INFO] [stdout] 329 |     fn should_restart(&mut self, state: &mut Self::State) -> Result<bool, Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:329:5
[INFO] [stdout]     |
[INFO] [stdout] 329 |     fn should_restart(&mut self, state: &mut Self::State) -> Result<bool, Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:335:5
[INFO] [stdout]     |
[INFO] [stdout] 335 |     fn clear_progress(&mut self, state: &mut Self::State) -> Result<(), Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:335:5
[INFO] [stdout]     |
[INFO] [stdout] 335 |     fn clear_progress(&mut self, state: &mut Self::State) -> Result<(), Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:335:5
[INFO] [stdout]     |
[INFO] [stdout] 335 |     fn clear_progress(&mut self, state: &mut Self::State) -> Result<(), Error> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:341:1
[INFO] [stdout]     |
[INFO] [stdout] 341 | / impl<C, EM, O, OT, Z> GeneralizationStage<C, EM, O, OT, Z>
[INFO] [stdout] 342 | | where
[INFO] [stdout] 343 | |     EM: UsesState,
[INFO] [stdout] 344 | |     O: MapObserver,
[INFO] [stdout] ...   |
[INFO] [stdout] 347 | |     <Self as UsesState>::State:
[INFO] [stdout] 348 | |         UsesInput<Input = BytesInput> + HasExecutions + HasMetadata + HasCorpus,
[INFO] [stdout]     | |________________________________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:352:5
[INFO] [stdout]     |
[INFO] [stdout] 352 |     pub fn new(map_observer: &C) -> Self {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:364:5
[INFO] [stdout]     |
[INFO] [stdout] 364 | /     fn verify_input<E>(
[INFO] [stdout] 365 | |         &self,
[INFO] [stdout] 366 | |         fuzzer: &mut Z,
[INFO] [stdout] 367 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 375 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#5], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:364:5
[INFO] [stdout]     |
[INFO] [stdout] 364 | /     fn verify_input<E>(
[INFO] [stdout] 365 | |         &self,
[INFO] [stdout] 366 | |         fuzzer: &mut Z,
[INFO] [stdout] 367 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 375 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:364:5
[INFO] [stdout]     |
[INFO] [stdout] 364 | /     fn verify_input<E>(
[INFO] [stdout] 365 | |         &self,
[INFO] [stdout] 366 | |         fuzzer: &mut Z,
[INFO] [stdout] 367 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 375 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:398:5
[INFO] [stdout]     |
[INFO] [stdout] 398 |     fn trim_payload(payload: &mut Vec<Option<u8>>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 | /     fn find_gaps<E>(
[INFO] [stdout] 405 | |         &self,
[INFO] [stdout] 406 | |         fuzzer: &mut Z,
[INFO] [stdout] 407 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 417 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#5], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 | /     fn find_gaps<E>(
[INFO] [stdout] 405 | |         &self,
[INFO] [stdout] 406 | |         fuzzer: &mut Z,
[INFO] [stdout] 407 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 417 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 | /     fn find_gaps<E>(
[INFO] [stdout] 405 | |         &self,
[INFO] [stdout] 406 | |         fuzzer: &mut Z,
[INFO] [stdout] 407 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 417 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:443:5
[INFO] [stdout]     |
[INFO] [stdout] 443 | /     fn find_gaps_in_closures<E>(
[INFO] [stdout] 444 | |         &self,
[INFO] [stdout] 445 | |         fuzzer: &mut Z,
[INFO] [stdout] 446 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 456 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#5], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:443:5
[INFO] [stdout]     |
[INFO] [stdout] 443 | /     fn find_gaps_in_closures<E>(
[INFO] [stdout] 444 | |         &self,
[INFO] [stdout] 445 | |         fuzzer: &mut Z,
[INFO] [stdout] 446 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 456 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:443:5
[INFO] [stdout]     |
[INFO] [stdout] 443 | /     fn find_gaps_in_closures<E>(
[INFO] [stdout] 444 | |         &self,
[INFO] [stdout] 445 | |         fuzzer: &mut Z,
[INFO] [stdout] 446 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 456 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:352:5
[INFO] [stdout]     |
[INFO] [stdout] 352 |     pub fn new(map_observer: &C) -> Self {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:364:5
[INFO] [stdout]     |
[INFO] [stdout] 364 | /     fn verify_input<E>(
[INFO] [stdout] 365 | |         &self,
[INFO] [stdout] 366 | |         fuzzer: &mut Z,
[INFO] [stdout] 367 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 375 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#5], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:364:5
[INFO] [stdout]     |
[INFO] [stdout] 364 | /     fn verify_input<E>(
[INFO] [stdout] 365 | |         &self,
[INFO] [stdout] 366 | |         fuzzer: &mut Z,
[INFO] [stdout] 367 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 375 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:364:5
[INFO] [stdout]     |
[INFO] [stdout] 364 | /     fn verify_input<E>(
[INFO] [stdout] 365 | |         &self,
[INFO] [stdout] 366 | |         fuzzer: &mut Z,
[INFO] [stdout] 367 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 374 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 375 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:398:5
[INFO] [stdout]     |
[INFO] [stdout] 398 |     fn trim_payload(payload: &mut Vec<Option<u8>>) {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 | /     fn find_gaps<E>(
[INFO] [stdout] 405 | |         &self,
[INFO] [stdout] 406 | |         fuzzer: &mut Z,
[INFO] [stdout] 407 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 417 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#5], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 | /     fn find_gaps<E>(
[INFO] [stdout] 405 | |         &self,
[INFO] [stdout] 406 | |         fuzzer: &mut Z,
[INFO] [stdout] 407 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 417 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:404:5
[INFO] [stdout]     |
[INFO] [stdout] 404 | /     fn find_gaps<E>(
[INFO] [stdout] 405 | |         &self,
[INFO] [stdout] 406 | |         fuzzer: &mut Z,
[INFO] [stdout] 407 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 417 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:443:5
[INFO] [stdout]     |
[INFO] [stdout] 443 | /     fn find_gaps_in_closures<E>(
[INFO] [stdout] 444 | |         &self,
[INFO] [stdout] 445 | |         fuzzer: &mut Z,
[INFO] [stdout] 446 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 456 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#5], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#5], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:443:5
[INFO] [stdout]     |
[INFO] [stdout] 443 | /     fn find_gaps_in_closures<E>(
[INFO] [stdout] 444 | |         &self,
[INFO] [stdout] 445 | |         fuzzer: &mut Z,
[INFO] [stdout] 446 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 456 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:443:5
[INFO] [stdout]     |
[INFO] [stdout] 443 | /     fn find_gaps_in_closures<E>(
[INFO] [stdout] 444 | |         &self,
[INFO] [stdout] 445 | |         fuzzer: &mut Z,
[INFO] [stdout] 446 | |         executor: &mut E,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |         E: Executor<EM, Z> + HasObservers<Observers = OT, State = <Self as UsesState>::State>,
[INFO] [stdout] 456 | |         Z: UsesState<State = <Self as UsesState>::State>,
[INFO] [stdout]     | |_________________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:111:60
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let payload: Vec<_> = input.bytes().iter().map(|&x| Some(x)).collect();
[INFO] [stdout]     |                                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:111:60
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let payload: Vec<_> = input.bytes().iter().map(|&x| Some(x)).collect();
[INFO] [stdout]     |                                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:111:60
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let payload: Vec<_> = input.bytes().iter().map(|&x| Some(x)).collect();
[INFO] [stdout]     |                                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:113:86
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let meta = entry.metadata_map().get::<MapNoveltiesMetadata>().ok_or_else(|| {
[INFO] [stdout]     |                                                                                      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:113:86
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let meta = entry.metadata_map().get::<MapNoveltiesMetadata>().ok_or_else(|| {
[INFO] [stdout]     |                                                                                      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:113:86
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let meta = entry.metadata_map().get::<MapNoveltiesMetadata>().ok_or_else(|| {
[INFO] [stdout]     |                                                                                      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[d1fa]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[d1fa]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:400:24
[INFO] [stdout]     |
[INFO] [stdout] 400 |         payload.retain(|&x| !(x.is_none() & core::mem::replace(&mut previous, x.is_none())));
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:111:60
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let payload: Vec<_> = input.bytes().iter().map(|&x| Some(x)).collect();
[INFO] [stdout]     |                                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:111:60
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let payload: Vec<_> = input.bytes().iter().map(|&x| Some(x)).collect();
[INFO] [stdout]     |                                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:111:60
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let payload: Vec<_> = input.bytes().iter().map(|&x| Some(x)).collect();
[INFO] [stdout]     |                                                            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [Z/#4], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [Z/#4], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:113:86
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let meta = entry.metadata_map().get::<MapNoveltiesMetadata>().ok_or_else(|| {
[INFO] [stdout]     |                                                                                      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#2], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:113:86
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let meta = entry.metadata_map().get::<MapNoveltiesMetadata>().ok_or_else(|| {
[INFO] [stdout]     |                                                                                      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [E/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#2], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [E/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:113:86
[INFO] [stdout]     |
[INFO] [stdout] 113 |             let meta = entry.metadata_map().get::<MapNoveltiesMetadata>().ok_or_else(|| {
[INFO] [stdout]     |                                                                                      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: inconsistency during normalizing env `Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }`, old=Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(Alias(Projection, AliasTy { args: [Alias(Projection, AliasTy { args: [EM/#1], def_id: DefId(0:10415 ~ libafl[c505]::state::UsesState::State), .. })], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }))), bound_vars: [] }, next=Some(
[INFO] [stdout]            Binder { value: ProjectionPredicate(AliasTerm { args: [EM/#1], def_id: DefId(0:4949 ~ libafl[c505]::inputs::UsesInput::Input), .. }, Term::Ty(inputs::bytes::BytesInput)), bound_vars: [] },
[INFO] [stdout]        )
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/libafl-0.13.1/src/stages/generalization.rs:400:24
[INFO] [stdout]     |
[INFO] [stdout] 400 |         payload.retain(|&x| !(x.is_none() & core::mem::replace(&mut previous, x.is_none())));
[INFO] [stdout]     |                        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `libafl` (lib) due to 31 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `libafl` (lib) due to 31 previous errors
[INFO] running `Command { std: "docker" "inspect" "b3decdcb8390dddc6bf54e0440141afa7b9a59f1f3a363302e48c34b2e7e6f3f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b3decdcb8390dddc6bf54e0440141afa7b9a59f1f3a363302e48c34b2e7e6f3f", kill_on_drop: false }`
[INFO] [stdout] b3decdcb8390dddc6bf54e0440141afa7b9a59f1f3a363302e48c34b2e7e6f3f
