ICE: deadlock detected as we're unable to find a query cycle to break #129911
Description
Code
rustc -Zthreads=50 --crate-type=lib,--cap-lints=warn,-Zmir-opt-level=5,-Zvalidate-mir,--edition=2021,-Zlint-mir,-Cdebuginfo=2,-Clink-dead-code=true,-Zthreads=16,-Zwrite-long-types-to-disk=no
type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;Meta
rustc --version --verbose:
rustc 1.83.0-nightly (94885bc69 2024-09-01) binary: rustc commit-hash: 94885bc699512cfee8560e73c2a01ee6b4b76563 commit-date: 2024-09-01 host: x86_64-unknown-linux-gnu release: 1.83.0-nightly LLVM version: 19.1.0 Error output
.... warning: unnecessary trailing semicolons --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:352 | 1 | ...;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^ help: remove these semicolons warning: unnecessary trailing semicolons --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:347 | 1 | ...{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^ help: remove these semicolons warning: unnecessary trailing semicolons --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:377 | 1 | ...;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^ help: remove these semicolons error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:268 | 1 | ... Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^-------------------------------------------------------------------------------------------------------------------------------------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:261 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:300 | 1 | ...Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^--------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:293 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:46 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^--------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:39 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:337 | 1 | ...= Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^------------------------------------------------------ help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:330 | 1 | ...;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:235 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^--------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:228 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:205 | 1 | ...{;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:198 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:371 | 1 | ...;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^--------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:364 | 1 | ...{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:172 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^--------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:165 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:79 | 1 | ...= Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::A... | ^^^----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:72 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:142 | 1 | ...Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >... | ^^^-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:135 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:109 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^--------- help: remove the unnecessary generics | | | expected 0 generic arguments | note: type alias defined here, with 0 generic parameters --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:102 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^ error[E0391]: cycle detected when expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:371 | 1 | ...ype Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^^^^^^^^^^ | = note: ...which immediately requires expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again = note: type aliases cannot be recursive = help: consider using a struct, enum, or union instead to break the cycle = help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information note: cycle used when checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:359 | 1 | ...{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^^^^^^ = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information error[E0391]: cycle detected when expanding type alias `KooArc::{constant#0}::Frc` --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:79 | 1 | ...= Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::A... | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: ...which immediately requires expanding type alias `KooArc::{constant#0}::Frc` again = note: type aliases cannot be recursive = help: consider using a struct, enum, or union instead to break the cycle = help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information note: cycle used when checking that `KooArc::{constant#0}::Frc` is well-formed --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:67 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^^^^^^ = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information error[E0391]: cycle detected when expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:205 | 1 | ...;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: ...which immediately requires expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again = note: type aliases cannot be recursive = help: consider using a struct, enum, or union instead to break the cycle = help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information note: cycle used when checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:193 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^^^^^^ = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information error[E0391]: cycle detected when expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:268 | 1 | ...::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;};;;}type Frc = Frc< {;{{{;;;};;;};;;}type Frc = Frc< {;;;} >::Arc ;;} >::Arc ;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ;;;} >::Arc ; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: ...which immediately requires expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again = note: type aliases cannot be recursive = help: consider using a struct, enum, or union instead to break the cycle = help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information note: cycle used when checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:256 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^^^^^^ = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information error[E0391]: cycle detected when expanding type alias `KooArc::{constant#0}::Frc` --> /home/matthias/vcs/github/fuzz_input/fuzzcorpus/active/corpus/14/14be07dbc4aa624f2dfd58b763fb7a3dd12b3748.rs:1:46 | 1 | type KooArc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {{;{{;;;};;;}type Frc = Frc< {;;;} >::Arc ;;}type Frc = Frc< {;{{;{{;;;};;;}type Frc = Frc< {;;;}... | ^^^^^^^^^^^^ | = note: ...which immediately requires expanding type alias `KooArc::{constant#0}::Frc` again