rust/tests/rustdoc-ui/issue-110629-private-type-cycle-dyn.stderr

error[E0391]: cycle detected when expanding type alias `Bar`
  --> $DIR/issue-110629-private-type-cycle-dyn.rs:1:38
   |
LL | type Bar<'a, 'b> = Box<dyn PartialEq<Bar<'a, 'b>>>;
   |                                      ^^^^^^^^^^^
   |
   = note: ...which immediately requires expanding type alias `Bar` 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 `Bar` is well-formed
  --> $DIR/issue-110629-private-type-cycle-dyn.rs:1:1
   |
LL | type Bar<'a, 'b> = Box<dyn PartialEq<Bar<'a, 'b>>>;
   | ^^^^^^^^^^^^^^^^
   = 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: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0391`.
added links as a note 2023-07-12 21:59:01 -05:00			error[E0391]: cycle detected when expanding type alias `Bar`
rustdoc: catch and don't blow up on impl Trait cycles An odd feature of Rust is that `Foo` is invalid, but `Bar` is okay: type Foo<'a, 'b> = Box<dyn PartialEq<Foo<'a, 'b>>>; type Bar<'a, 'b> = impl PartialEq<Bar<'a, 'b>>; To get it right, track every time rustdoc descends into a type alias, so if it shows up twice, it can be write the path instead of infinitely expanding it. 2023-04-20 20:08:06 -05:00			`--> $DIR/issue-110629-private-type-cycle-dyn.rs:1:38`
			`\|`
			`LL \| type Bar<'a, 'b> = Box<dyn PartialEq<Bar<'a, 'b>>>;`
			`\| ^^^^^^^^^^^`
			`\|`
			= note: ...which immediately requires expanding type alias `Bar` 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`
Merge collect_mod_item_types query into check_well_formed 2024-02-23 05:45:44 -06:00			note: cycle used when checking that `Bar` is well-formed
rustdoc: catch and don't blow up on impl Trait cycles An odd feature of Rust is that `Foo` is invalid, but `Bar` is okay: type Foo<'a, 'b> = Box<dyn PartialEq<Foo<'a, 'b>>>; type Bar<'a, 'b> = impl PartialEq<Bar<'a, 'b>>; To get it right, track every time rustdoc descends into a type alias, so if it shows up twice, it can be write the path instead of infinitely expanding it. 2023-04-20 20:08:06 -05:00			`--> $DIR/issue-110629-private-type-cycle-dyn.rs:1:1`
			`\|`
Merge collect_mod_item_types query into check_well_formed 2024-02-23 05:45:44 -06:00			`LL \| type Bar<'a, 'b> = Box<dyn PartialEq<Bar<'a, 'b>>>;`
			`\| ^^^^^^^^^^^^^^^^`
fix issue-110629-private-type-cycle-dyn test 2023-07-19 09:02:15 -05:00			`= 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`
rustdoc: catch and don't blow up on impl Trait cycles An odd feature of Rust is that `Foo` is invalid, but `Bar` is okay: type Foo<'a, 'b> = Box<dyn PartialEq<Foo<'a, 'b>>>; type Bar<'a, 'b> = impl PartialEq<Bar<'a, 'b>>; To get it right, track every time rustdoc descends into a type alias, so if it shows up twice, it can be write the path instead of infinitely expanding it. 2023-04-20 20:08:06 -05:00
Bless rustdoc-ui tests Co-authored-by: Adrian <adrian.iosdev@gmail.com> 2023-11-21 10:44:51 -06:00			`error: aborting due to 1 previous error`
rustdoc: catch and don't blow up on impl Trait cycles An odd feature of Rust is that `Foo` is invalid, but `Bar` is okay: type Foo<'a, 'b> = Box<dyn PartialEq<Foo<'a, 'b>>>; type Bar<'a, 'b> = impl PartialEq<Bar<'a, 'b>>; To get it right, track every time rustdoc descends into a type alias, so if it shows up twice, it can be write the path instead of infinitely expanding it. 2023-04-20 20:08:06 -05:00
			For more information about this error, try `rustc --explain E0391`.