ICE: `deadlock detected as we're unable to find a query cycle to break`

[matthiaskrgr]

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

[matthiaskrgr]

Backtrace

thread 'rustc query cycle handler' panicked at compiler/rustc_query_system/src/query/job.rs:535:9:
deadlock detected as we're unable to find a query cycle to break
current query map:
{
    QueryJobId(
        9440,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        159,
                    ),
                    hi: BytePos(
                        167,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:13),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 14830663952377105805,
        },
        job: QueryJob {
            id: QueryJobId(
                9440,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9437,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9437,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        159,
                    ),
                    hi: BytePos(
                        167,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:13),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 11451536958982521072,
        },
        job: QueryJob {
            id: QueryJobId(
                9437,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9396,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        324,
                    ),
                    hi: BytePos(
                        332,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:23),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 14001250531596176171,
        },
        job: QueryJob {
            id: QueryJobId(
                9396,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9393,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        222,
                    ),
                    hi: BytePos(
                        230,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:17),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 6190926473867251673,
        },
        job: QueryJob {
            id: QueryJobId(
                9393,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9389,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9422,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        33,
                    ),
                    hi: BytePos(
                        41,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:5),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 1019657688231071601,
        },
        job: QueryJob {
            id: QueryJobId(
                9422,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9379,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9419,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        287,
                    ),
                    hi: BytePos(
                        295,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:21),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 12122775567515104339,
        },
        job: QueryJob {
            id: QueryJobId(
                9419,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9413,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9265,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "running analysis passes on this crate",
            span: Some(
                Span {
                    lo: BytePos(
                        0,
                    ),
                    hi: BytePos(
                        0,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: None,
            def_kind: None,
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 25,
            },
            hash: 5462938028500440564,
        },
        job: QueryJob {
            id: QueryJobId(
                9265,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: None,
            latch: None,
        },
    },
    QueryJobId(
        9381,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        255,
                    ),
                    hi: BytePos(
                        263,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:19),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 4391674565404057940,
        },
        job: QueryJob {
            id: QueryJobId(
                9381,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9384,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        66,
                    ),
                    hi: BytePos(
                        74,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:7),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 16170528910734782700,
        },
        job: QueryJob {
            id: QueryJobId(
                9384,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9413,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        287,
                    ),
                    hi: BytePos(
                        295,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:21),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 10238359818855224870,
        },
        job: QueryJob {
            id: QueryJobId(
                9413,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9427,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        129,
                    ),
                    hi: BytePos(
                        137,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:11),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 7810694056001382254,
        },
        job: QueryJob {
            id: QueryJobId(
                9427,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9424,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        96,
                    ),
                    hi: BytePos(
                        104,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:9),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 10466848953666464647,
        },
        job: QueryJob {
            id: QueryJobId(
                9424,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9389,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        222,
                    ),
                    hi: BytePos(
                        230,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:17),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 9479560933862934994,
        },
        job: QueryJob {
            id: QueryJobId(
                9389,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9418,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        324,
                    ),
                    hi: BytePos(
                        332,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:23),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 8432575778253137886,
        },
        job: QueryJob {
            id: QueryJobId(
                9418,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9396,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9383,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        255,
                    ),
                    hi: BytePos(
                        263,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:19),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 5636532772404526809,
        },
        job: QueryJob {
            id: QueryJobId(
                9383,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9381,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9386,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        192,
                    ),
                    hi: BytePos(
                        200,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:15),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 9343133181690543435,
        },
        job: QueryJob {
            id: QueryJobId(
                9386,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9377,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that types are well-formed in top-level module",
            span: Some(
                Span {
                    lo: BytePos(
                        0,
                    ),
                    hi: BytePos(
                        459,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:0),
            ),
            def_kind: Some(
                Mod,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 110,
            },
            hash: 3539171694679369165,
        },
        job: QueryJob {
            id: QueryJobId(
                9377,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9265,
                ),
            ),
            latch: None,
        },
    },
    QueryJobId(
        9429,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        129,
                    ),
                    hi: BytePos(
                        137,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:11),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 13819057925896367097,
        },
        job: QueryJob {
            id: QueryJobId(
                9429,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9427,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9426,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        96,
                    ),
                    hi: BytePos(
                        104,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:9),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 13890951866631752979,
        },
        job: QueryJob {
            id: QueryJobId(
                9426,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9424,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: false,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9391,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        192,
                    ),
                    hi: BytePos(
                        200,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:15),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 2977355211337564338,
        },
        job: QueryJob {
            id: QueryJobId(
                9391,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9386,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: true,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9388,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "expanding type alias `KooArc::{constant#0}::Frc`",
            span: Some(
                Span {
                    lo: BytePos(
                        66,
                    ),
                    hi: BytePos(
                        74,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:7),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 19,
            },
            hash: 3984253017443571553,
        },
        job: QueryJob {
            id: QueryJobId(
                9388,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9384,
                ),
            ),
            latch: Some(
                QueryLatch {
                    info: Mutex {
                        data: QueryLatchInfo {
                            complete: true,
                            waiters: [],
                        },
                    },
                },
            ),
        },
    },
    QueryJobId(
        9379,
    ): QueryJobInfo {
        query: QueryStackFrame {
            description: "checking that `KooArc::{constant#0}::Frc` is well-formed",
            span: Some(
                Span {
                    lo: BytePos(
                        33,
                    ),
                    hi: BytePos(
                        41,
                    ),
                    ctxt: #0,
                },
            ),
            def_id: Some(
                DefId(0:5),
            ),
            def_kind: Some(
                TyAlias,
            ),
            ty_def_id: None,
            dep_kind: DepKind {
                variant: 199,
            },
            hash: 5989232075543602282,
        },
        job: QueryJob {
            id: QueryJobId(
                9379,
            ),
            span: Span {
                lo: BytePos(
                    0,
                ),
                hi: BytePos(
                    0,
                ),
                ctxt: #0,
            },
            parent: Some(
                QueryJobId(
                    9377,
                ),
            ),
            latch: None,
        },
    },
}
stack backtrace:
   0:     0x7316377e0fda - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h9e4ea8242375332b
   1:     0x731638003317 - core::fmt::write::h9b917be92761bedd
   2:     0x73163928e511 - std::io::Write::write_fmt::hf10f74df1e5b6fa4
   3:     0x7316377e36ab - std::panicking::default_hook::{{closure}}::h799453937b6df850
   4:     0x7316377e331e - std::panicking::default_hook::hc680c13beada54ab
   5:     0x7316369465bf - std[ecf59b95e6b43a12]::panicking::update_hook::<alloc[31dbd1cac8f6337c]::boxed::Box<rustc_driver_impl[f58cdf0c667c34ef]::install_ice_hook::{closure#0}>>::{closure#0}
   6:     0x7316377e3fc7 - std::panicking::rust_panic_with_hook::h2e4a6bdb3bbbd61b
   7:     0x7316377e3c87 - std::panicking::begin_panic_handler::{{closure}}::hc84e1fbc96f34988
   8:     0x7316377e1489 - std::sys::backtrace::__rust_end_short_backtrace::h7aeaaa7122aa2277
   9:     0x7316377e3954 - rust_begin_unwind
  10:     0x73163467b8f3 - core::panicking::panic_fmt::hfbc6547a8c5ab97a
  11:     0x73163737aafa - rustc_query_system[103c552ffa7387b6]::query::job::break_query_cycles
  12:     0x73163693d90a - std[ecf59b95e6b43a12]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[de5c4d81e4829e2d]::util::run_in_thread_pool_with_globals<rustc_interface[de5c4d81e4829e2d]::interface::run_compiler<core[5fb974e6fca9f855]::result::Result<(), rustc_span[610038f17dad7590]::ErrorGuaranteed>, rustc_driver_impl[f58cdf0c667c34ef]::run_compiler::{closure#0}>::{closure#1}, core[5fb974e6fca9f855]::result::Result<(), rustc_span[610038f17dad7590]::ErrorGuaranteed>>::{closure#2}::{closure#1}, ()>
  13:     0x73163694870c - <<std[ecf59b95e6b43a12]::thread::Builder>::spawn_unchecked_<rustc_interface[de5c4d81e4829e2d]::util::run_in_thread_pool_with_globals<rustc_interface[de5c4d81e4829e2d]::interface::run_compiler<core[5fb974e6fca9f855]::result::Result<(), rustc_span[610038f17dad7590]::ErrorGuaranteed>, rustc_driver_impl[f58cdf0c667c34ef]::run_compiler::{closure#0}>::{closure#1}, core[5fb974e6fca9f855]::result::Result<(), rustc_span[610038f17dad7590]::ErrorGuaranteed>>::{closure#2}::{closure#1}, ()>::{closure#1} as core[5fb974e6fca9f855]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  14:     0x731638e6ef2b - std::sys::pal::unix::thread::Thread::new::thread_start::hfdfe3dde17dd08a8
  15:     0x73163a5a739d - <unknown>
  16:     0x73163a62c49c - <unknown>
  17:                0x0 - <unknown>

error: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md

note: please make sure that you have updated to the latest nightly

note: please attach the file at `/tmp/im/rustc-ice-2024-09-02T20_03_05-2311947.txt` to your bug report

note: compiler flags: --crate-type lib -Z mir-opt-level=5 -Z validate-mir -Z lint-mir -C debuginfo=2 -C link-dead-code=true -Z threads=50 -Z write-long-types-to-disk=no

query stack during panic:
end of query stack
  = 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
query cycle handler thread panicked, aborting process
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:34
  |
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< {;;;}...
  |                                  ^^^^^^^^
[1]    2311947 IOT instruction  rustc  --crate-type=lib --cap-lints=warn -Zmir-opt-level=5 -Zvalidate-mir

[oli-obk]

Should first reduce the test to have at least fewer errors