Rollup merge of rust-lang#156082 - danieljofficial:move-tests-associated-types, r=petrochenkov

JonathanBrouwer · web-flow · commit c4fa0d5da957 · 2026-05-04T17:54:56.000+02:00
Move tests associated types

Hi, I have moved some ui tests I feel belong in the associated types folder
diff --git a/tests/ui/associated-types/ambiguous-associated-type-default.rs b/tests/ui/associated-types/ambiguous-associated-type-default.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/23073
+
 #![feature(associated_type_defaults)]
 
 trait Foo { type T; }
diff --git a/tests/ui/associated-types/ambiguous-associated-type-default.stderr b/tests/ui/associated-types/ambiguous-associated-type-default.stderr
@@ -1,5 +1,5 @@
 error[E0223]: ambiguous associated type
-  --> $DIR/issue-23073.rs:6:17
+  --> $DIR/ambiguous-associated-type-default.rs:8:17
    |
 LL |     type FooT = <<Self as Bar>::Foo>::T;
    |                 ^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/tests/ui/associated-types/assoc-type-add-output-via-operator-syntax.rs b/tests/ui/associated-types/assoc-type-add-output-via-operator-syntax.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/20803
+
 //@ run-pass
 use std::ops::Add;
 
diff --git a/tests/ui/associated-types/assoc-type-default-without-override-in-impl.rs b/tests/ui/associated-types/assoc-type-default-without-override-in-impl.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/37051
+
 //@ check-pass
 
 #![feature(associated_type_defaults)]
diff --git a/tests/ui/associated-types/assoc-type-element-mismatch-in-hrtb.rs b/tests/ui/associated-types/assoc-type-element-mismatch-in-hrtb.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/39970
+
 trait Array<'a> {
     type Element: 'a;
 }
diff --git a/tests/ui/associated-types/assoc-type-element-mismatch-in-hrtb.stderr b/tests/ui/associated-types/assoc-type-element-mismatch-in-hrtb.stderr
@@ -1,16 +1,16 @@
 error[E0271]: type mismatch resolving `<() as Array<'a>>::Element == ()`
-  --> $DIR/issue-39970.rs:19:6
+  --> $DIR/assoc-type-element-mismatch-in-hrtb.rs:21:6
    |
 LL |     <() as Visit>::visit();
    |      ^^ type mismatch resolving `<() as Array<'a>>::Element == ()`
    |
 note: expected this to be `()`
-  --> $DIR/issue-39970.rs:10:20
+  --> $DIR/assoc-type-element-mismatch-in-hrtb.rs:12:20
    |
 LL |     type Element = &'a ();
    |                    ^^^^^^
 note: required for `()` to implement `Visit`
-  --> $DIR/issue-39970.rs:13:6
+  --> $DIR/assoc-type-element-mismatch-in-hrtb.rs:15:6
    |
 LL | impl Visit for () where
    |      ^^^^^     ^^
diff --git a/tests/ui/associated-types/assoc-type-in-extern-fn-signature.rs b/tests/ui/associated-types/assoc-type-in-extern-fn-signature.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/28983
+
 //@ run-pass
 pub trait Test { type T; }
 
diff --git a/tests/ui/associated-types/assoc-type-in-generic-struct-bound.rs b/tests/ui/associated-types/assoc-type-in-generic-struct-bound.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/19632
+
 //@ check-pass
 #![allow(dead_code)]
 
diff --git a/tests/ui/associated-types/assoc-type-in-strategy-pattern-iterator.rs b/tests/ui/associated-types/assoc-type-in-strategy-pattern-iterator.rs
@@ -1,6 +1,6 @@
 //@ build-pass
 
-// Regression test for #20797.
+// Regression test for https://github.com/rust-lang/rust/issues/20797
 
 use std::default::Default;
 use std::io;
diff --git a/tests/ui/associated-types/assoc-type-in-struct-constructor.rs b/tests/ui/associated-types/assoc-type-in-struct-constructor.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/26127
+
 //@ run-pass
 trait Tr { type T; }
 impl Tr for u8 { type T=(); }
diff --git a/tests/ui/associated-types/assoc-type-in-unused-where-clause.rs b/tests/ui/associated-types/assoc-type-in-unused-where-clause.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/19631
+
 //@ check-pass
 #![allow(dead_code)]
 
diff --git a/tests/ui/associated-types/assoc-type-layout-unsized-allowed-sized-used.rs b/tests/ui/associated-types/assoc-type-layout-unsized-allowed-sized-used.rs
@@ -1,5 +1,6 @@
 //@ run-pass
-// Issue 36036: computing the layout of a type composed from another
+// Regression test for https://github.com/rust-lang/rust/issues/36036
+// computing the layout of a type composed from another
 // trait's associated type caused compiler to ICE when the associated
 // type was allowed to be unsized, even though the known instantiated
 // type is itself sized.
diff --git a/tests/ui/associated-types/assoc-type-method-call-via-blanket-impl.rs b/tests/ui/associated-types/assoc-type-method-call-via-blanket-impl.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/23336
+
 //@ run-pass
 pub trait Data { fn doit(&self) {} }
 impl<T> Data for T {}
diff --git a/tests/ui/associated-types/assoc-type-named-string.rs b/tests/ui/associated-types/assoc-type-named-string.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/17732
+
 //@ check-pass
 #![allow(dead_code)]
 #![allow(non_camel_case_types)]
diff --git a/tests/ui/associated-types/assoc-type-output-is-sized.rs b/tests/ui/associated-types/assoc-type-output-is-sized.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/20009
+
 //@ check-pass
 // Check that associated types are `Sized`
 
diff --git a/tests/ui/associated-types/assoc-type-projection-in-box-return.rs b/tests/ui/associated-types/assoc-type-projection-in-box-return.rs
@@ -1,4 +1,4 @@
-// Regression test for Issue #20971.
+// Regression test for Issue https://github.com/rust-lang/rust/issues/20971
 
 //@ run-fail
 //@ error-pattern:Hello, world!
diff --git a/tests/ui/associated-types/assoc-type-projection-in-let-binding.rs b/tests/ui/associated-types/assoc-type-projection-in-let-binding.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/19850
+
 //@ check-pass
 #![allow(unused_variables)]
 // Test that `<Type as Trait>::Output` and `Self::Output` are accepted as type annotations in let
diff --git a/tests/ui/associated-types/assoc-type-projection-on-ref-lifetime.rs b/tests/ui/associated-types/assoc-type-projection-on-ref-lifetime.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/23406
+
 //@ build-pass
 #![allow(dead_code)]
 trait Inner {
diff --git a/tests/ui/associated-types/assoc-type-ref-in-tuple-return.rs b/tests/ui/associated-types/assoc-type-ref-in-tuple-return.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/37109
+
 //@ run-pass
 trait ToRef<'a> {
     type Ref: 'a;
diff --git a/tests/ui/associated-types/assoc-type-returns-outer-wrapping-self.rs b/tests/ui/associated-types/assoc-type-returns-outer-wrapping-self.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/23992
+
 //@ run-pass
 pub struct Outer<T: Trait>(T);
 pub struct Inner<'a> { value: &'a bool }
diff --git a/tests/ui/associated-types/bound-references-sibling-assoc-type.rs b/tests/ui/associated-types/bound-references-sibling-assoc-type.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/21909
+
 //@ check-pass
 
 trait A<X> {
diff --git a/tests/ui/associated-types/enum-variant-with-assoc-type-and-lifetimes.rs b/tests/ui/associated-types/enum-variant-with-assoc-type-and-lifetimes.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/34839
+
 //@ check-pass
 
 trait RegularExpression: Sized {
diff --git a/tests/ui/associated-types/method-on-impl-with-assoc-type-projection.rs b/tests/ui/associated-types/method-on-impl-with-assoc-type-projection.rs
diff --git a/tests/ui/associated-types/recursive-enum-with-assoc-type-selfref.rs b/tests/ui/associated-types/recursive-enum-with-assoc-type-selfref.rs
diff --git a/tests/ui/associated-types/same-name-assoc-type-and-method.rs b/tests/ui/associated-types/same-name-assoc-type-and-method.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/35600
+
 //@ run-pass
 #![allow(non_camel_case_types)]
 #![allow(unused_variables)]
diff --git a/tests/ui/associated-types/self-type-alias-for-assoc-type.rs b/tests/ui/associated-types/self-type-alias-for-assoc-type.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/27281
+
 //@ check-pass
 pub trait Trait<'a> {
     type T;
diff --git a/tests/ui/associated-types/simple-associated-type-impl.rs b/tests/ui/associated-types/simple-associated-type-impl.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/18809
+
 //@ check-pass
 trait Tup {
     type T0;
diff --git a/tests/ui/associated-types/size-of-assoc-type-output.rs b/tests/ui/associated-types/size-of-assoc-type-output.rs
@@ -1,3 +1,5 @@
+//! Regression test for https://github.com/rust-lang/rust/issues/43357
+
 //@ check-pass
 #![allow(dead_code)]
 trait Trait {
diff --git a/tests/ui/associated-types/unspecified-assoc-type-in-trait-object.rs b/tests/ui/associated-types/unspecified-assoc-type-in-trait-object.rs
@@ -1,3 +1,4 @@
+// Regression test for https://github.com/rust-lang/rust/issues/19842
 // Test that a partially specified trait object with unspecified associated
 // type does not type-check.
 
diff --git a/tests/ui/associated-types/unspecified-assoc-type-in-trait-object.stderr b/tests/ui/associated-types/unspecified-assoc-type-in-trait-object.stderr
@@ -1,5 +1,5 @@
 error[E0191]: the value of the associated type `A` in `Foo` must be specified
-  --> $DIR/issue-19482.rs:10:16
+  --> $DIR/unspecified-assoc-type-in-trait-object.rs:11:16
    |
 LL |     type A;
    |     ------ `A` defined here

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+//! Regression test for https://github.com/rust-lang/rust/issues/23073`
	`2`	`+`
`1`	`3`	`#![feature(associated_type_defaults)]`
`2`	`4`
`3`	`5`	`trait Foo { type T; }`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`error[E0223]: ambiguous associated type`
`2`		`- --> $DIR/issue-23073.rs:6:17`
	`2`	`+ --> $DIR/ambiguous-associated-type-default.rs:8:17`
`3`	`3`	`\|`
`4`	`4`	`LL \| type FooT = <<Self as Bar>::Foo>::T;`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+//! Regression test for https://github.com/rust-lang/rust/issues/20803`
	`2`	`+`
`1`	`3`	`//@ run-pass`
`2`	`4`	`use std::ops::Add;`
`3`	`5`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+//! Regression test for https://github.com/rust-lang/rust/issues/37051`
	`2`	`+`
`1`	`3`	`//@ check-pass`
`2`	`4`
`3`	`5`	`#![feature(associated_type_defaults)]`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+//! Regression test for https://github.com/rust-lang/rust/issues/39970`
	`2`	`+`
`1`	`3`	`trait Array<'a> {`
`2`	`4`	`type Element: 'a;`
`3`	`5`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,16 +1,16 @@`
`1`	`1`	error[E0271]: type mismatch resolving `<() as Array<'a>>::Element == ()`
`2`		`- --> $DIR/issue-39970.rs:19:6`
	`2`	`+ --> $DIR/assoc-type-element-mismatch-in-hrtb.rs:21:6`
`3`	`3`	`\|`
`4`	`4`	`LL \| <() as Visit>::visit();`
`5`	`5`	\| ^^ type mismatch resolving `<() as Array<'a>>::Element == ()`
`6`	`6`	`\|`
`7`	`7`	note: expected this to be `()`
`8`		`- --> $DIR/issue-39970.rs:10:20`
	`8`	`+ --> $DIR/assoc-type-element-mismatch-in-hrtb.rs:12:20`
`9`	`9`	`\|`
`10`	`10`	`LL \| type Element = &'a ();`
`11`	`11`	`\| ^^^^^^`
`12`	`12`	note: required for `()` to implement `Visit`
`13`		`- --> $DIR/issue-39970.rs:13:6`
	`13`	`+ --> $DIR/assoc-type-element-mismatch-in-hrtb.rs:15:6`
`14`	`14`	`\|`
`15`	`15`	`LL \| impl Visit for () where`
`16`	`16`	`\| ^^^^^ ^^`