Bless tests because new queryies

mu001999 · mu001999 · commit c0378ae26e8d · 2026-06-01T20:57:05.000+08:00
diff --git a/tests/ui/associated-type-bounds/return-type-notation/impl-trait-in-trait.stderr b/tests/ui/associated-type-bounds/return-type-notation/impl-trait-in-trait.stderr
@@ -9,6 +9,11 @@ note: ...which requires computing function signature of `IntFactory::stream`...
    |
 LL |     fn stream(self) -> impl IntFactory<stream(..): Send>;
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires computing function signature and type-dependent definitions of `IntFactory::stream`...
+  --> $DIR/impl-trait-in-trait.rs:4:5
+   |
+LL |     fn stream(self) -> impl IntFactory<stream(..): Send>;
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires looking up late bound vars inside `IntFactory::stream`...
   --> $DIR/impl-trait-in-trait.rs:4:5
    |
diff --git a/tests/ui/const-generics/not_wf_param_in_rpitit.stderr b/tests/ui/const-generics/not_wf_param_in_rpitit.stderr
@@ -5,12 +5,17 @@ LL | trait Trait<const N: dyn Trait = bar> {
    |                                  ^^^ not found in this scope
 
 error[E0391]: cycle detected when computing type of `Trait::N`
+  --> $DIR/not_wf_param_in_rpitit.rs:3:13
+   |
+LL | trait Trait<const N: dyn Trait = bar> {
+   |             ^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+note: ...which requires computing type and type-dependent definitions of `Trait::N`...
   --> $DIR/not_wf_param_in_rpitit.rs:3:26
    |
 LL | trait Trait<const N: dyn Trait = bar> {
    |                          ^^^^^
-   |
-   = note: ...which immediately requires computing type of `Trait::N` again
+   = note: ...which again requires computing type of `Trait::N`, completing the cycle
 note: cycle used when checking that `Trait` is well-formed
   --> $DIR/not_wf_param_in_rpitit.rs:3:1
    |
diff --git a/tests/ui/consts/issue-103790.stderr b/tests/ui/consts/issue-103790.stderr
@@ -23,12 +23,17 @@ LL | struct S<const S: (), const S: S<S> = { S }>;
    |                                 +++
 
 error[E0391]: cycle detected when computing type of `S::S`
+  --> $DIR/issue-103790.rs:4:23
+   |
+LL | struct S<const S: (), const S: S = { S }>;
+   |                       ^^^^^^^^^^^^^^^^^^
+   |
+note: ...which requires computing type and type-dependent definitions of `S::S`...
   --> $DIR/issue-103790.rs:4:32
    |
 LL | struct S<const S: (), const S: S = { S }>;
    |                                ^
-   |
-   = note: ...which immediately requires computing type of `S::S` again
+   = note: ...which again requires computing type of `S::S`, completing the cycle
 note: cycle used when checking that `S` is well-formed
   --> $DIR/issue-103790.rs:4:1
    |
diff --git a/tests/ui/cycle-trait/cycle-trait-default-type-trait.stderr b/tests/ui/cycle-trait/cycle-trait-default-type-trait.stderr
@@ -1,10 +1,15 @@
 error[E0391]: cycle detected when computing type of `Foo::X`
+  --> $DIR/cycle-trait-default-type-trait.rs:4:11
+   |
+LL | trait Foo<X = Box<dyn Foo>> {
+   |           ^^^^^^^^^^^^^^^^
+   |
+note: ...which requires computing type and type-dependent definitions of `Foo::X`...
   --> $DIR/cycle-trait-default-type-trait.rs:4:23
    |
 LL | trait Foo<X = Box<dyn Foo>> {
    |                       ^^^
-   |
-   = note: ...which immediately requires computing type of `Foo::X` again
+   = note: ...which again requires computing type of `Foo::X`, completing the cycle
 note: cycle used when checking that `Foo` is well-formed
   --> $DIR/cycle-trait-default-type-trait.rs:4:1
    |
diff --git a/tests/ui/delegation/unsupported.current.stderr b/tests/ui/delegation/unsupported.current.stderr
@@ -4,6 +4,11 @@ error[E0391]: cycle detected when computing type of `opaque::<impl at $DIR/unsup
 LL |         reuse to_reuse::opaque_ret;
    |                         ^^^^^^^^^^
    |
+note: ...which requires computing type and type-dependent definitions of `opaque::<impl at $DIR/unsupported.rs:29:5: 29:24>::opaque_ret::{anon_assoc#0}`...
+  --> $DIR/unsupported.rs:30:25
+   |
+LL |         reuse to_reuse::opaque_ret;
+   |                         ^^^^^^^^^^
 note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
   --> $DIR/unsupported.rs:30:25
    |
@@ -23,6 +28,11 @@ error[E0391]: cycle detected when computing type of `opaque::<impl at $DIR/unsup
 LL |         reuse ToReuse::opaque_ret;
    |                        ^^^^^^^^^^
    |
+note: ...which requires computing type and type-dependent definitions of `opaque::<impl at $DIR/unsupported.rs:32:5: 32:25>::opaque_ret::{anon_assoc#0}`...
+  --> $DIR/unsupported.rs:33:24
+   |
+LL |         reuse ToReuse::opaque_ret;
+   |                        ^^^^^^^^^^
 note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
   --> $DIR/unsupported.rs:33:24
    |
diff --git a/tests/ui/delegation/unsupported.next.stderr b/tests/ui/delegation/unsupported.next.stderr
@@ -4,6 +4,11 @@ error[E0391]: cycle detected when computing type of `opaque::<impl at $DIR/unsup
 LL |         reuse to_reuse::opaque_ret;
    |                         ^^^^^^^^^^
    |
+note: ...which requires computing type and type-dependent definitions of `opaque::<impl at $DIR/unsupported.rs:29:5: 29:24>::opaque_ret::{anon_assoc#0}`...
+  --> $DIR/unsupported.rs:30:25
+   |
+LL |         reuse to_reuse::opaque_ret;
+   |                         ^^^^^^^^^^
 note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
   --> $DIR/unsupported.rs:30:25
    |
@@ -23,6 +28,11 @@ error[E0391]: cycle detected when computing type of `opaque::<impl at $DIR/unsup
 LL |         reuse ToReuse::opaque_ret;
    |                        ^^^^^^^^^^
    |
+note: ...which requires computing type and type-dependent definitions of `opaque::<impl at $DIR/unsupported.rs:32:5: 32:25>::opaque_ret::{anon_assoc#0}`...
+  --> $DIR/unsupported.rs:33:24
+   |
+LL |         reuse ToReuse::opaque_ret;
+   |                        ^^^^^^^^^^
 note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
   --> $DIR/unsupported.rs:33:24
    |
diff --git a/tests/ui/generic-associated-types/unknown-lifetime-ice-119827.stderr b/tests/ui/generic-associated-types/unknown-lifetime-ice-119827.stderr
@@ -7,6 +7,11 @@ LL | trait Foo {
 note: ...which requires computing type of `<impl at $DIR/unknown-lifetime-ice-119827.rs:8:1: 8:26>`...
   --> $DIR/unknown-lifetime-ice-119827.rs:8:1
    |
+LL | impl Foo for Box<dyn Foo> {}
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires computing type and type-dependent definitions of `<impl at $DIR/unknown-lifetime-ice-119827.rs:8:1: 8:26>`...
+  --> $DIR/unknown-lifetime-ice-119827.rs:8:1
+   |
 LL | impl Foo for Box<dyn Foo> {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
    = note: ...which again requires finding trait impls of `Foo`, completing the cycle
diff --git a/tests/ui/impl-trait/auto-trait-leakage/auto-trait-leak.stderr b/tests/ui/impl-trait/auto-trait-leakage/auto-trait-leak.stderr
@@ -72,7 +72,7 @@ LL |     send(cycle1().clone());
    |     ^^^^^^^^^^^^^^^^^^^^^^
    = note: ...which requires evaluating trait selection obligation `cycle1::{opaque#0}: core::marker::Send`...
    = note: ...which again requires computing type of opaque `cycle1::{opaque#0}`, completing the cycle
-note: cycle used when computing type of `cycle1::{opaque#0}`
+note: cycle used when computing type and type-dependent definitions of `cycle1::{opaque#0}`
   --> $DIR/auto-trait-leak.rs:11:16
    |
 LL | fn cycle1() -> impl Clone {
diff --git a/tests/ui/impl-trait/in-trait/method-compatability-via-leakage-cycle.current.stderr b/tests/ui/impl-trait/in-trait/method-compatability-via-leakage-cycle.current.stderr
@@ -4,6 +4,11 @@ error[E0391]: cycle detected when computing type of `<impl at $DIR/method-compat
 LL |     fn foo(b: bool) -> impl Sized {
    |                        ^^^^^^^^^^
    |
+note: ...which requires computing type and type-dependent definitions of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{anon_assoc#0}`...
+  --> $DIR/method-compatability-via-leakage-cycle.rs:21:24
+   |
+LL |     fn foo(b: bool) -> impl Sized {
+   |                        ^^^^^^^^^^
 note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
   --> $DIR/method-compatability-via-leakage-cycle.rs:21:24
    |
diff --git a/tests/ui/impl-trait/in-trait/method-compatability-via-leakage-cycle.next.stderr b/tests/ui/impl-trait/in-trait/method-compatability-via-leakage-cycle.next.stderr
@@ -4,6 +4,11 @@ error[E0391]: cycle detected when computing type of `<impl at $DIR/method-compat
 LL |     fn foo(b: bool) -> impl Sized {
    |                        ^^^^^^^^^^
    |
+note: ...which requires computing type and type-dependent definitions of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{anon_assoc#0}`...
+  --> $DIR/method-compatability-via-leakage-cycle.rs:21:24
+   |
+LL |     fn foo(b: bool) -> impl Sized {
+   |                        ^^^^^^^^^^
 note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
   --> $DIR/method-compatability-via-leakage-cycle.rs:21:5
    |
@@ -14,6 +19,11 @@ note: ...which requires computing type of `<impl at $DIR/method-compatability-vi
    |
 LL |     fn foo(b: bool) -> impl Sized {
    |                        ^^^^^^^^^^
+note: ...which requires computing type and type-dependent definitions of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}`...
+  --> $DIR/method-compatability-via-leakage-cycle.rs:21:24
+   |
+LL |     fn foo(b: bool) -> impl Sized {
+   |                        ^^^^^^^^^^
 note: ...which requires computing type of opaque `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{opaque#0}`...
   --> $DIR/method-compatability-via-leakage-cycle.rs:21:24
    |
diff --git a/tests/ui/impl-trait/in-trait/return-type-notation.stderr b/tests/ui/impl-trait/in-trait/return-type-notation.stderr
@@ -9,6 +9,11 @@ note: ...which requires computing function signature of `IntFactory::stream`...
    |
 LL |     fn stream(&self) -> impl IntFactory<stream(..): IntFactory<stream(..): Send> + Send>;
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires computing function signature and type-dependent definitions of `IntFactory::stream`...
+  --> $DIR/return-type-notation.rs:5:5
+   |
+LL |     fn stream(&self) -> impl IntFactory<stream(..): IntFactory<stream(..): Send> + Send>;
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires looking up late bound vars inside `IntFactory::stream`...
   --> $DIR/return-type-notation.rs:5:5
    |
diff --git a/tests/ui/infinite/infinite-type-alias-mutual-recursion.gated_new.stderr b/tests/ui/infinite/infinite-type-alias-mutual-recursion.gated_new.stderr
@@ -1,23 +1,35 @@
 error[E0391]: cycle detected when expanding type alias `X1`
+  --> $DIR/infinite-type-alias-mutual-recursion.rs:12:1
+   |
+LL | type X1 = X2;
+   | ^^^^^^^
+   |
+note: ...which requires computing type and type-dependent definitions of `X1`...
   --> $DIR/infinite-type-alias-mutual-recursion.rs:12:11
    |
 LL | type X1 = X2;
    |           ^^
-   |
 note: ...which requires expanding type alias `X2`...
+  --> $DIR/infinite-type-alias-mutual-recursion.rs:16:1
+   |
+LL | type X2 = X3;
+   | ^^^^^^^
+note: ...which requires computing type and type-dependent definitions of `X2`...
   --> $DIR/infinite-type-alias-mutual-recursion.rs:16:11
    |
 LL | type X2 = X3;
    |           ^^
 note: ...which requires expanding type alias `X3`...
+  --> $DIR/infinite-type-alias-mutual-recursion.rs:19:1
+   |
+LL | type X3 = X1;
+   | ^^^^^^^
+note: ...which requires computing type and type-dependent definitions of `X3`...
   --> $DIR/infinite-type-alias-mutual-recursion.rs:19:11
    |
 LL | type X3 = X1;
    |           ^^
    = note: ...which again requires expanding type alias `X1`, completing the cycle
-   = 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 `X1` is well-formed
   --> $DIR/infinite-type-alias-mutual-recursion.rs:12:1
    |
diff --git a/tests/ui/infinite/infinite-type-alias-mutual-recursion.gated_old.stderr b/tests/ui/infinite/infinite-type-alias-mutual-recursion.gated_old.stderr
@@ -1,23 +1,35 @@
 error[E0391]: cycle detected when expanding type alias `X1`
+  --> $DIR/infinite-type-alias-mutual-recursion.rs:12:1
+   |
+LL | type X1 = X2;
+   | ^^^^^^^
+   |
+note: ...which requires computing type and type-dependent definitions of `X1`...
   --> $DIR/infinite-type-alias-mutual-recursion.rs:12:11
    |
 LL | type X1 = X2;
    |           ^^
-   |
 note: ...which requires expanding type alias `X2`...
+  --> $DIR/infinite-type-alias-mutual-recursion.rs:16:1
+   |
+LL | type X2 = X3;
+   | ^^^^^^^
+note: ...which requires computing type and type-dependent definitions of `X2`...
   --> $DIR/infinite-type-alias-mutual-recursion.rs:16:11
    |
 LL | type X2 = X3;
    |           ^^
 note: ...which requires expanding type alias `X3`...
+  --> $DIR/infinite-type-alias-mutual-recursion.rs:19:1
+   |
+LL | type X3 = X1;
+   | ^^^^^^^
+note: ...which requires computing type and type-dependent definitions of `X3`...
   --> $DIR/infinite-type-alias-mutual-recursion.rs:19:11
    |
 LL | type X3 = X1;
    |           ^^
    = note: ...which again requires expanding type alias `X1`, completing the cycle
-   = 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 `X1` is well-formed
   --> $DIR/infinite-type-alias-mutual-recursion.rs:12:1
    |
diff --git a/tests/ui/infinite/infinite-vec-type-recursion.gated.stderr b/tests/ui/infinite/infinite-vec-type-recursion.gated.stderr
@@ -1,13 +1,15 @@
 error[E0391]: cycle detected when expanding type alias `X`
+  --> $DIR/infinite-vec-type-recursion.rs:6:1
+   |
+LL | type X = Vec<X>;
+   | ^^^^^^
+   |
+note: ...which requires computing type and type-dependent definitions of `X`...
   --> $DIR/infinite-vec-type-recursion.rs:6:14
    |
 LL | type X = Vec<X>;
    |              ^
-   |
-   = note: ...which immediately requires expanding type alias `X` 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: ...which again requires expanding type alias `X`, completing the cycle
 note: cycle used when checking that `X` is well-formed
   --> $DIR/infinite-vec-type-recursion.rs:6:1
    |
diff --git a/tests/ui/issues/issue-34373.stderr b/tests/ui/issues/issue-34373.stderr
@@ -1,10 +1,20 @@
 error[E0391]: cycle detected when computing type of `Foo::T`
+  --> $DIR/issue-34373.rs:7:16
+   |
+LL | pub struct Foo<T = Box<dyn Trait<DefaultFoo>>>;
+   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+note: ...which requires computing type and type-dependent definitions of `Foo::T`...
   --> $DIR/issue-34373.rs:7:34
    |
 LL | pub struct Foo<T = Box<dyn Trait<DefaultFoo>>>;
    |                                  ^^^^^^^^^^
-   |
 note: ...which requires expanding type alias `DefaultFoo`...
+  --> $DIR/issue-34373.rs:9:1
+   |
+LL | type DefaultFoo = Foo;
+   | ^^^^^^^^^^^^^^^
+note: ...which requires computing type and type-dependent definitions of `DefaultFoo`...
   --> $DIR/issue-34373.rs:9:19
    |
 LL | type DefaultFoo = Foo;
diff --git a/tests/ui/parallel-rustc/nested-type-alias-cycle-issue-129911.stderr b/tests/ui/parallel-rustc/nested-type-alias-cycle-issue-129911.stderr
diff --git a/tests/ui/resolve/resolve-self-in-impl.stderr b/tests/ui/resolve/resolve-self-in-impl.stderr
diff --git a/tests/ui/traits/solver-cycles/assoc-equality-cycle.stderr b/tests/ui/traits/solver-cycles/assoc-equality-cycle.stderr
diff --git a/tests/ui/type-alias-impl-trait/in-where-clause.stderr b/tests/ui/type-alias-impl-trait/in-where-clause.stderr
diff --git a/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122199.stderr b/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122199.stderr
diff --git a/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122989.stderr b/tests/ui/wf/ice-hir-wf-check-anon-const-issue-122989.stderr

Original file line number	Diff line number	Diff line change
@@ -9,6 +9,11 @@ note: ...which requires computing function signature of `IntFactory::stream`...
`9`	`9`	`\|`
`10`	`10`	`LL \| fn stream(self) -> impl IntFactory<stream(..): Send>;`
`11`	`11`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
	`12`	+note: ...which requires computing function signature and type-dependent definitions of `IntFactory::stream`...
	`13`	`+ --> $DIR/impl-trait-in-trait.rs:4:5`
	`14`	`+ \|`
	`15`	`+LL \| fn stream(self) -> impl IntFactory<stream(..): Send>;`
	`16`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`12`	`17`	note: ...which requires looking up late bound vars inside `IntFactory::stream`...
`13`	`18`	`--> $DIR/impl-trait-in-trait.rs:4:5`
`14`	`19`	`\|`
Original file line number	Diff line number	Diff line change
@@ -4,6 +4,11 @@ error[E0391]: cycle detected when computing type of `opaque::<impl at $DIR/unsup
`4`	`4`	`LL \| reuse to_reuse::opaque_ret;`
`5`	`5`	`\| ^^^^^^^^^^`
`6`	`6`	`\|`
	`7`	+note: ...which requires computing type and type-dependent definitions of `opaque::<impl at $DIR/unsupported.rs:29:5: 29:24>::opaque_ret::{anon_assoc#0}`...
	`8`	`+ --> $DIR/unsupported.rs:30:25`
	`9`	`+ \|`
	`10`	`+LL \| reuse to_reuse::opaque_ret;`
	`11`	`+ \| ^^^^^^^^^^`
`7`	`12`	note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
`8`	`13`	`--> $DIR/unsupported.rs:30:25`
`9`	`14`	`\|`
@@ -23,6 +28,11 @@ error[E0391]: cycle detected when computing type of `opaque::<impl at $DIR/unsup
`23`	`28`	`LL \| reuse ToReuse::opaque_ret;`
`24`	`29`	`\| ^^^^^^^^^^`
`25`	`30`	`\|`
	`31`	+note: ...which requires computing type and type-dependent definitions of `opaque::<impl at $DIR/unsupported.rs:32:5: 32:25>::opaque_ret::{anon_assoc#0}`...
	`32`	`+ --> $DIR/unsupported.rs:33:24`
	`33`	`+ \|`
	`34`	`+LL \| reuse ToReuse::opaque_ret;`
	`35`	`+ \| ^^^^^^^^^^`
`26`	`36`	note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
`27`	`37`	`--> $DIR/unsupported.rs:33:24`
`28`	`38`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,7 @@ LL \| send(cycle1().clone());`
`72`	`72`	`\| ^^^^^^^^^^^^^^^^^^^^^^`
`73`	`73`	= note: ...which requires evaluating trait selection obligation `cycle1::{opaque#0}: core::marker::Send`...
`74`	`74`	= note: ...which again requires computing type of opaque `cycle1::{opaque#0}`, completing the cycle
`75`		-note: cycle used when computing type of `cycle1::{opaque#0}`
	`75`	+note: cycle used when computing type and type-dependent definitions of `cycle1::{opaque#0}`
`76`	`76`	`--> $DIR/auto-trait-leak.rs:11:16`
`77`	`77`	`\|`
`78`	`78`	`LL \| fn cycle1() -> impl Clone {`
Original file line number	Diff line number	Diff line change
@@ -4,6 +4,11 @@ error[E0391]: cycle detected when computing type of `<impl at $DIR/method-compat
`4`	`4`	`LL \| fn foo(b: bool) -> impl Sized {`
`5`	`5`	`\| ^^^^^^^^^^`
`6`	`6`	`\|`
	`7`	+note: ...which requires computing type and type-dependent definitions of `<impl at $DIR/method-compatability-via-leakage-cycle.rs:17:1: 17:19>::foo::{anon_assoc#0}`...
	`8`	`+ --> $DIR/method-compatability-via-leakage-cycle.rs:21:24`
	`9`	`+ \|`
	`10`	`+LL \| fn foo(b: bool) -> impl Sized {`
	`11`	`+ \| ^^^^^^^^^^`
`7`	`12`	note: ...which requires comparing an impl and trait method signature, inferring any hidden `impl Trait` types in the process...
`8`	`13`	`--> $DIR/method-compatability-via-leakage-cycle.rs:21:24`
`9`	`14`	`\|`