summaryrefslogtreecommitdiffstats
path: root/tests/ui/associated-type-bounds
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /tests/ui/associated-type-bounds
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r--tests/ui/associated-type-bounds/ambiguous-associated-type.rs (renamed from src/test/ui/associated-type-bounds/ambiguous-associated-type.rs)0
-rw-r--r--tests/ui/associated-type-bounds/ambiguous-associated-type2.rs (renamed from src/test/ui/associated-type-bounds/ambiguous-associated-type2.rs)0
-rw-r--r--tests/ui/associated-type-bounds/ambiguous-associated-type2.stderr (renamed from src/test/ui/associated-type-bounds/ambiguous-associated-type2.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/assoc-type-bound-through-where-clause.rs (renamed from src/test/ui/associated-type-bounds/assoc-type-bound-through-where-clause.rs)0
-rw-r--r--tests/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.rs (renamed from src/test/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.rs)0
-rw-r--r--tests/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.stderr (renamed from src/test/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/associated-item-through-where-clause.rs (renamed from src/test/ui/associated-type-bounds/associated-item-through-where-clause.rs)0
-rw-r--r--tests/ui/associated-type-bounds/auxiliary/fn-aux.rs (renamed from src/test/ui/associated-type-bounds/auxiliary/fn-aux.rs)0
-rw-r--r--tests/ui/associated-type-bounds/auxiliary/fn-dyn-aux.rs (renamed from src/test/ui/associated-type-bounds/auxiliary/fn-dyn-aux.rs)0
-rw-r--r--tests/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.rs (renamed from src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.rs)0
-rw-r--r--tests/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr (renamed from src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/binder-on-bound.rs (renamed from src/test/ui/associated-type-bounds/binder-on-bound.rs)0
-rw-r--r--tests/ui/associated-type-bounds/binder-on-bound.stderr (renamed from src/test/ui/associated-type-bounds/binder-on-bound.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs (renamed from src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs)0
-rw-r--r--tests/ui/associated-type-bounds/bounds-on-assoc-in-trait.stderr (renamed from src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/const-projection-err.gce.stderr24
-rw-r--r--tests/ui/associated-type-bounds/const-projection-err.rs18
-rw-r--r--tests/ui/associated-type-bounds/const-projection-err.stock.stderr17
-rw-r--r--tests/ui/associated-type-bounds/duplicate.rs (renamed from src/test/ui/associated-type-bounds/duplicate.rs)0
-rw-r--r--tests/ui/associated-type-bounds/duplicate.stderr (renamed from src/test/ui/associated-type-bounds/duplicate.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/dyn-impl-trait-type.rs (renamed from src/test/ui/associated-type-bounds/dyn-impl-trait-type.rs)0
-rw-r--r--tests/ui/associated-type-bounds/dyn-rpit-and-let.rs (renamed from src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs)0
-rw-r--r--tests/ui/associated-type-bounds/elision.rs (renamed from src/test/ui/associated-type-bounds/elision.rs)0
-rw-r--r--tests/ui/associated-type-bounds/elision.stderr (renamed from src/test/ui/associated-type-bounds/elision.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/entails-sized-object-safety.rs (renamed from src/test/ui/associated-type-bounds/entails-sized-object-safety.rs)0
-rw-r--r--tests/ui/associated-type-bounds/enum-bounds.rs (renamed from src/test/ui/associated-type-bounds/enum-bounds.rs)0
-rw-r--r--tests/ui/associated-type-bounds/fn-apit.rs (renamed from src/test/ui/associated-type-bounds/fn-apit.rs)0
-rw-r--r--tests/ui/associated-type-bounds/fn-aux.rs (renamed from src/test/ui/associated-type-bounds/fn-aux.rs)0
-rw-r--r--tests/ui/associated-type-bounds/fn-dyn-apit.rs (renamed from src/test/ui/associated-type-bounds/fn-dyn-apit.rs)0
-rw-r--r--tests/ui/associated-type-bounds/fn-inline.rs (renamed from src/test/ui/associated-type-bounds/fn-inline.rs)0
-rw-r--r--tests/ui/associated-type-bounds/fn-where.rs (renamed from src/test/ui/associated-type-bounds/fn-where.rs)0
-rw-r--r--tests/ui/associated-type-bounds/fn-wrap-apit.rs (renamed from src/test/ui/associated-type-bounds/fn-wrap-apit.rs)0
-rw-r--r--tests/ui/associated-type-bounds/handle-predicates-that-can-define-assoc-type.rs (renamed from src/test/ui/associated-type-bounds/handle-predicates-that-can-define-assoc-type.rs)0
-rw-r--r--tests/ui/associated-type-bounds/hrtb.rs (renamed from src/test/ui/associated-type-bounds/hrtb.rs)0
-rw-r--r--tests/ui/associated-type-bounds/implied-region-constraints.rs (renamed from src/test/ui/associated-type-bounds/implied-region-constraints.rs)0
-rw-r--r--tests/ui/associated-type-bounds/implied-region-constraints.stderr (renamed from src/test/ui/associated-type-bounds/implied-region-constraints.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/inside-adt.rs (renamed from src/test/ui/associated-type-bounds/inside-adt.rs)0
-rw-r--r--tests/ui/associated-type-bounds/inside-adt.stderr (renamed from src/test/ui/associated-type-bounds/inside-adt.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/issue-102335-ty.rs (renamed from src/test/ui/associated-type-bounds/issue-102335-ty.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-102335-ty.stderr (renamed from src/test/ui/associated-type-bounds/issue-102335-ty.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/issue-61752.rs (renamed from src/test/ui/associated-type-bounds/issue-61752.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-70292.rs (renamed from src/test/ui/associated-type-bounds/issue-70292.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-71443-1.rs (renamed from src/test/ui/associated-type-bounds/issue-71443-1.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-71443-1.stderr (renamed from src/test/ui/associated-type-bounds/issue-71443-1.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/issue-71443-2.rs (renamed from src/test/ui/associated-type-bounds/issue-71443-2.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-73818.rs (renamed from src/test/ui/associated-type-bounds/issue-73818.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-79949.rs (renamed from src/test/ui/associated-type-bounds/issue-79949.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-81193.rs (renamed from src/test/ui/associated-type-bounds/issue-81193.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-83017.rs (renamed from src/test/ui/associated-type-bounds/issue-83017.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-99828.rs (renamed from src/test/ui/associated-type-bounds/issue-99828.rs)0
-rw-r--r--tests/ui/associated-type-bounds/issue-99828.stderr (renamed from src/test/ui/associated-type-bounds/issue-99828.stderr)3
-rw-r--r--tests/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.rs (renamed from src/test/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.rs)0
-rw-r--r--tests/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.stderr (renamed from src/test/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/order-dependent-bounds-issue-54121.rs (renamed from src/test/ui/associated-type-bounds/order-dependent-bounds-issue-54121.rs)0
-rw-r--r--tests/ui/associated-type-bounds/rpit.rs (renamed from src/test/ui/associated-type-bounds/rpit.rs)0
-rw-r--r--tests/ui/associated-type-bounds/struct-bounds.rs (renamed from src/test/ui/associated-type-bounds/struct-bounds.rs)0
-rw-r--r--tests/ui/associated-type-bounds/supertrait-referencing-self.rs (renamed from src/test/ui/associated-type-bounds/supertrait-referencing-self.rs)0
-rw-r--r--tests/ui/associated-type-bounds/supertrait-referencing.rs (renamed from src/test/ui/associated-type-bounds/supertrait-referencing.rs)0
-rw-r--r--tests/ui/associated-type-bounds/supertrait-where-referencing-self.rs (renamed from src/test/ui/associated-type-bounds/supertrait-where-referencing-self.rs)0
-rw-r--r--tests/ui/associated-type-bounds/trait-alias-impl-trait.rs (renamed from src/test/ui/associated-type-bounds/trait-alias-impl-trait.rs)0
-rw-r--r--tests/ui/associated-type-bounds/trait-params.rs (renamed from src/test/ui/associated-type-bounds/trait-params.rs)0
-rw-r--r--tests/ui/associated-type-bounds/traits-assoc-anonymized.rs (renamed from src/test/ui/associated-type-bounds/traits-assoc-anonymized.rs)0
-rw-r--r--tests/ui/associated-type-bounds/traits-assoc-type-macros.rs (renamed from src/test/ui/associated-type-bounds/traits-assoc-type-macros.rs)0
-rw-r--r--tests/ui/associated-type-bounds/type-alias.rs (renamed from src/test/ui/associated-type-bounds/type-alias.rs)0
-rw-r--r--tests/ui/associated-type-bounds/type-alias.stderr (renamed from src/test/ui/associated-type-bounds/type-alias.stderr)0
-rw-r--r--tests/ui/associated-type-bounds/union-bounds.rs (renamed from src/test/ui/associated-type-bounds/union-bounds.rs)0
66 files changed, 59 insertions, 3 deletions
diff --git a/src/test/ui/associated-type-bounds/ambiguous-associated-type.rs b/tests/ui/associated-type-bounds/ambiguous-associated-type.rs
index 9c47a003d..9c47a003d 100644
--- a/src/test/ui/associated-type-bounds/ambiguous-associated-type.rs
+++ b/tests/ui/associated-type-bounds/ambiguous-associated-type.rs
diff --git a/src/test/ui/associated-type-bounds/ambiguous-associated-type2.rs b/tests/ui/associated-type-bounds/ambiguous-associated-type2.rs
index 48de59334..48de59334 100644
--- a/src/test/ui/associated-type-bounds/ambiguous-associated-type2.rs
+++ b/tests/ui/associated-type-bounds/ambiguous-associated-type2.rs
diff --git a/src/test/ui/associated-type-bounds/ambiguous-associated-type2.stderr b/tests/ui/associated-type-bounds/ambiguous-associated-type2.stderr
index 4162cdaa8..4162cdaa8 100644
--- a/src/test/ui/associated-type-bounds/ambiguous-associated-type2.stderr
+++ b/tests/ui/associated-type-bounds/ambiguous-associated-type2.stderr
diff --git a/src/test/ui/associated-type-bounds/assoc-type-bound-through-where-clause.rs b/tests/ui/associated-type-bounds/assoc-type-bound-through-where-clause.rs
index 49f111407..49f111407 100644
--- a/src/test/ui/associated-type-bounds/assoc-type-bound-through-where-clause.rs
+++ b/tests/ui/associated-type-bounds/assoc-type-bound-through-where-clause.rs
diff --git a/src/test/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.rs b/tests/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.rs
index 4c36289f4..4c36289f4 100644
--- a/src/test/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.rs
+++ b/tests/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.rs
diff --git a/src/test/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.stderr b/tests/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.stderr
index a32ab4531..a32ab4531 100644
--- a/src/test/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.stderr
+++ b/tests/ui/associated-type-bounds/assoc-type-eq-with-dyn-atb-fail.stderr
diff --git a/src/test/ui/associated-type-bounds/associated-item-through-where-clause.rs b/tests/ui/associated-type-bounds/associated-item-through-where-clause.rs
index 3eb50ab55..3eb50ab55 100644
--- a/src/test/ui/associated-type-bounds/associated-item-through-where-clause.rs
+++ b/tests/ui/associated-type-bounds/associated-item-through-where-clause.rs
diff --git a/src/test/ui/associated-type-bounds/auxiliary/fn-aux.rs b/tests/ui/associated-type-bounds/auxiliary/fn-aux.rs
index 0ea23ad1d..0ea23ad1d 100644
--- a/src/test/ui/associated-type-bounds/auxiliary/fn-aux.rs
+++ b/tests/ui/associated-type-bounds/auxiliary/fn-aux.rs
diff --git a/src/test/ui/associated-type-bounds/auxiliary/fn-dyn-aux.rs b/tests/ui/associated-type-bounds/auxiliary/fn-dyn-aux.rs
index 85d6c5aaf..85d6c5aaf 100644
--- a/src/test/ui/associated-type-bounds/auxiliary/fn-dyn-aux.rs
+++ b/tests/ui/associated-type-bounds/auxiliary/fn-dyn-aux.rs
diff --git a/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.rs b/tests/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.rs
index d180de9be..d180de9be 100644
--- a/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.rs
+++ b/tests/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.rs
diff --git a/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr b/tests/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr
index c23e54594..c23e54594 100644
--- a/src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr
+++ b/tests/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr
diff --git a/src/test/ui/associated-type-bounds/binder-on-bound.rs b/tests/ui/associated-type-bounds/binder-on-bound.rs
index 6cba45129..6cba45129 100644
--- a/src/test/ui/associated-type-bounds/binder-on-bound.rs
+++ b/tests/ui/associated-type-bounds/binder-on-bound.rs
diff --git a/src/test/ui/associated-type-bounds/binder-on-bound.stderr b/tests/ui/associated-type-bounds/binder-on-bound.stderr
index f71f72bfb..f71f72bfb 100644
--- a/src/test/ui/associated-type-bounds/binder-on-bound.stderr
+++ b/tests/ui/associated-type-bounds/binder-on-bound.stderr
diff --git a/src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs b/tests/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs
index 23be73501..23be73501 100644
--- a/src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs
+++ b/tests/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs
diff --git a/src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.stderr b/tests/ui/associated-type-bounds/bounds-on-assoc-in-trait.stderr
index 4e2313bd4..4e2313bd4 100644
--- a/src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.stderr
+++ b/tests/ui/associated-type-bounds/bounds-on-assoc-in-trait.stderr
diff --git a/tests/ui/associated-type-bounds/const-projection-err.gce.stderr b/tests/ui/associated-type-bounds/const-projection-err.gce.stderr
new file mode 100644
index 000000000..0f1ec9ad0
--- /dev/null
+++ b/tests/ui/associated-type-bounds/const-projection-err.gce.stderr
@@ -0,0 +1,24 @@
+warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
+ --> $DIR/const-projection-err.rs:4:26
+ |
+LL | #![cfg_attr(gce, feature(generic_const_exprs))]
+ | ^^^^^^^^^^^^^^^^^^^
+ |
+ = note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
+ = note: `#[warn(incomplete_features)]` on by default
+
+error[E0271]: type mismatch resolving `<T as TraitWAssocConst>::A == 1`
+ --> $DIR/const-projection-err.rs:14:11
+ |
+LL | foo::<T>();
+ | ^ expected `0`, found `1`
+ |
+note: required by a bound in `foo`
+ --> $DIR/const-projection-err.rs:11:28
+ |
+LL | fn foo<T: TraitWAssocConst<A = 1>>() {}
+ | ^^^^^ required by this bound in `foo`
+
+error: aborting due to previous error; 1 warning emitted
+
+For more information about this error, try `rustc --explain E0271`.
diff --git a/tests/ui/associated-type-bounds/const-projection-err.rs b/tests/ui/associated-type-bounds/const-projection-err.rs
new file mode 100644
index 000000000..bead85630
--- /dev/null
+++ b/tests/ui/associated-type-bounds/const-projection-err.rs
@@ -0,0 +1,18 @@
+// revisions: stock gce
+
+#![feature(associated_const_equality)]
+#![cfg_attr(gce, feature(generic_const_exprs))]
+//[gce]~^ WARN the feature `generic_const_exprs` is incomplete
+
+trait TraitWAssocConst {
+ const A: usize;
+}
+
+fn foo<T: TraitWAssocConst<A = 1>>() {}
+
+fn bar<T: TraitWAssocConst<A = 0>>() {
+ foo::<T>();
+ //~^ ERROR type mismatch resolving `<T as TraitWAssocConst>::A == 1`
+}
+
+fn main() {}
diff --git a/tests/ui/associated-type-bounds/const-projection-err.stock.stderr b/tests/ui/associated-type-bounds/const-projection-err.stock.stderr
new file mode 100644
index 000000000..bf0824259
--- /dev/null
+++ b/tests/ui/associated-type-bounds/const-projection-err.stock.stderr
@@ -0,0 +1,17 @@
+error[E0271]: type mismatch resolving `<T as TraitWAssocConst>::A == 1`
+ --> $DIR/const-projection-err.rs:14:11
+ |
+LL | foo::<T>();
+ | ^ expected `1`, found `<T as TraitWAssocConst>::A`
+ |
+ = note: expected constant `1`
+ found constant `<T as TraitWAssocConst>::A`
+note: required by a bound in `foo`
+ --> $DIR/const-projection-err.rs:11:28
+ |
+LL | fn foo<T: TraitWAssocConst<A = 1>>() {}
+ | ^^^^^ required by this bound in `foo`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0271`.
diff --git a/src/test/ui/associated-type-bounds/duplicate.rs b/tests/ui/associated-type-bounds/duplicate.rs
index f67410986..f67410986 100644
--- a/src/test/ui/associated-type-bounds/duplicate.rs
+++ b/tests/ui/associated-type-bounds/duplicate.rs
diff --git a/src/test/ui/associated-type-bounds/duplicate.stderr b/tests/ui/associated-type-bounds/duplicate.stderr
index c3061327f..c3061327f 100644
--- a/src/test/ui/associated-type-bounds/duplicate.stderr
+++ b/tests/ui/associated-type-bounds/duplicate.stderr
diff --git a/src/test/ui/associated-type-bounds/dyn-impl-trait-type.rs b/tests/ui/associated-type-bounds/dyn-impl-trait-type.rs
index a8d00803a..a8d00803a 100644
--- a/src/test/ui/associated-type-bounds/dyn-impl-trait-type.rs
+++ b/tests/ui/associated-type-bounds/dyn-impl-trait-type.rs
diff --git a/src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs b/tests/ui/associated-type-bounds/dyn-rpit-and-let.rs
index 08f965452..08f965452 100644
--- a/src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs
+++ b/tests/ui/associated-type-bounds/dyn-rpit-and-let.rs
diff --git a/src/test/ui/associated-type-bounds/elision.rs b/tests/ui/associated-type-bounds/elision.rs
index d00def571..d00def571 100644
--- a/src/test/ui/associated-type-bounds/elision.rs
+++ b/tests/ui/associated-type-bounds/elision.rs
diff --git a/src/test/ui/associated-type-bounds/elision.stderr b/tests/ui/associated-type-bounds/elision.stderr
index ea3024627..ea3024627 100644
--- a/src/test/ui/associated-type-bounds/elision.stderr
+++ b/tests/ui/associated-type-bounds/elision.stderr
diff --git a/src/test/ui/associated-type-bounds/entails-sized-object-safety.rs b/tests/ui/associated-type-bounds/entails-sized-object-safety.rs
index f5a9bac6e..f5a9bac6e 100644
--- a/src/test/ui/associated-type-bounds/entails-sized-object-safety.rs
+++ b/tests/ui/associated-type-bounds/entails-sized-object-safety.rs
diff --git a/src/test/ui/associated-type-bounds/enum-bounds.rs b/tests/ui/associated-type-bounds/enum-bounds.rs
index 193f2efe1..193f2efe1 100644
--- a/src/test/ui/associated-type-bounds/enum-bounds.rs
+++ b/tests/ui/associated-type-bounds/enum-bounds.rs
diff --git a/src/test/ui/associated-type-bounds/fn-apit.rs b/tests/ui/associated-type-bounds/fn-apit.rs
index 3c9f51133..3c9f51133 100644
--- a/src/test/ui/associated-type-bounds/fn-apit.rs
+++ b/tests/ui/associated-type-bounds/fn-apit.rs
diff --git a/src/test/ui/associated-type-bounds/fn-aux.rs b/tests/ui/associated-type-bounds/fn-aux.rs
index 434bdbe99..434bdbe99 100644
--- a/src/test/ui/associated-type-bounds/fn-aux.rs
+++ b/tests/ui/associated-type-bounds/fn-aux.rs
diff --git a/src/test/ui/associated-type-bounds/fn-dyn-apit.rs b/tests/ui/associated-type-bounds/fn-dyn-apit.rs
index c4e8092c2..c4e8092c2 100644
--- a/src/test/ui/associated-type-bounds/fn-dyn-apit.rs
+++ b/tests/ui/associated-type-bounds/fn-dyn-apit.rs
diff --git a/src/test/ui/associated-type-bounds/fn-inline.rs b/tests/ui/associated-type-bounds/fn-inline.rs
index 8fa7212d6..8fa7212d6 100644
--- a/src/test/ui/associated-type-bounds/fn-inline.rs
+++ b/tests/ui/associated-type-bounds/fn-inline.rs
diff --git a/src/test/ui/associated-type-bounds/fn-where.rs b/tests/ui/associated-type-bounds/fn-where.rs
index 9c4f82ac9..9c4f82ac9 100644
--- a/src/test/ui/associated-type-bounds/fn-where.rs
+++ b/tests/ui/associated-type-bounds/fn-where.rs
diff --git a/src/test/ui/associated-type-bounds/fn-wrap-apit.rs b/tests/ui/associated-type-bounds/fn-wrap-apit.rs
index 96df13e37..96df13e37 100644
--- a/src/test/ui/associated-type-bounds/fn-wrap-apit.rs
+++ b/tests/ui/associated-type-bounds/fn-wrap-apit.rs
diff --git a/src/test/ui/associated-type-bounds/handle-predicates-that-can-define-assoc-type.rs b/tests/ui/associated-type-bounds/handle-predicates-that-can-define-assoc-type.rs
index b1e54ec04..b1e54ec04 100644
--- a/src/test/ui/associated-type-bounds/handle-predicates-that-can-define-assoc-type.rs
+++ b/tests/ui/associated-type-bounds/handle-predicates-that-can-define-assoc-type.rs
diff --git a/src/test/ui/associated-type-bounds/hrtb.rs b/tests/ui/associated-type-bounds/hrtb.rs
index 7ab383649..7ab383649 100644
--- a/src/test/ui/associated-type-bounds/hrtb.rs
+++ b/tests/ui/associated-type-bounds/hrtb.rs
diff --git a/src/test/ui/associated-type-bounds/implied-region-constraints.rs b/tests/ui/associated-type-bounds/implied-region-constraints.rs
index 38219da61..38219da61 100644
--- a/src/test/ui/associated-type-bounds/implied-region-constraints.rs
+++ b/tests/ui/associated-type-bounds/implied-region-constraints.rs
diff --git a/src/test/ui/associated-type-bounds/implied-region-constraints.stderr b/tests/ui/associated-type-bounds/implied-region-constraints.stderr
index cddce8777..cddce8777 100644
--- a/src/test/ui/associated-type-bounds/implied-region-constraints.stderr
+++ b/tests/ui/associated-type-bounds/implied-region-constraints.stderr
diff --git a/src/test/ui/associated-type-bounds/inside-adt.rs b/tests/ui/associated-type-bounds/inside-adt.rs
index 8eb8c44bb..8eb8c44bb 100644
--- a/src/test/ui/associated-type-bounds/inside-adt.rs
+++ b/tests/ui/associated-type-bounds/inside-adt.rs
diff --git a/src/test/ui/associated-type-bounds/inside-adt.stderr b/tests/ui/associated-type-bounds/inside-adt.stderr
index dbfcfa580..dbfcfa580 100644
--- a/src/test/ui/associated-type-bounds/inside-adt.stderr
+++ b/tests/ui/associated-type-bounds/inside-adt.stderr
diff --git a/src/test/ui/associated-type-bounds/issue-102335-ty.rs b/tests/ui/associated-type-bounds/issue-102335-ty.rs
index 363df73c1..363df73c1 100644
--- a/src/test/ui/associated-type-bounds/issue-102335-ty.rs
+++ b/tests/ui/associated-type-bounds/issue-102335-ty.rs
diff --git a/src/test/ui/associated-type-bounds/issue-102335-ty.stderr b/tests/ui/associated-type-bounds/issue-102335-ty.stderr
index 8777b2965..8777b2965 100644
--- a/src/test/ui/associated-type-bounds/issue-102335-ty.stderr
+++ b/tests/ui/associated-type-bounds/issue-102335-ty.stderr
diff --git a/src/test/ui/associated-type-bounds/issue-61752.rs b/tests/ui/associated-type-bounds/issue-61752.rs
index f38ec640e..f38ec640e 100644
--- a/src/test/ui/associated-type-bounds/issue-61752.rs
+++ b/tests/ui/associated-type-bounds/issue-61752.rs
diff --git a/src/test/ui/associated-type-bounds/issue-70292.rs b/tests/ui/associated-type-bounds/issue-70292.rs
index 945d7688c..945d7688c 100644
--- a/src/test/ui/associated-type-bounds/issue-70292.rs
+++ b/tests/ui/associated-type-bounds/issue-70292.rs
diff --git a/src/test/ui/associated-type-bounds/issue-71443-1.rs b/tests/ui/associated-type-bounds/issue-71443-1.rs
index 5d2a3e6cb..5d2a3e6cb 100644
--- a/src/test/ui/associated-type-bounds/issue-71443-1.rs
+++ b/tests/ui/associated-type-bounds/issue-71443-1.rs
diff --git a/src/test/ui/associated-type-bounds/issue-71443-1.stderr b/tests/ui/associated-type-bounds/issue-71443-1.stderr
index a9459ee74..a9459ee74 100644
--- a/src/test/ui/associated-type-bounds/issue-71443-1.stderr
+++ b/tests/ui/associated-type-bounds/issue-71443-1.stderr
diff --git a/src/test/ui/associated-type-bounds/issue-71443-2.rs b/tests/ui/associated-type-bounds/issue-71443-2.rs
index 813dcd60a..813dcd60a 100644
--- a/src/test/ui/associated-type-bounds/issue-71443-2.rs
+++ b/tests/ui/associated-type-bounds/issue-71443-2.rs
diff --git a/src/test/ui/associated-type-bounds/issue-73818.rs b/tests/ui/associated-type-bounds/issue-73818.rs
index bb890f72a..bb890f72a 100644
--- a/src/test/ui/associated-type-bounds/issue-73818.rs
+++ b/tests/ui/associated-type-bounds/issue-73818.rs
diff --git a/src/test/ui/associated-type-bounds/issue-79949.rs b/tests/ui/associated-type-bounds/issue-79949.rs
index 9dd37f981..9dd37f981 100644
--- a/src/test/ui/associated-type-bounds/issue-79949.rs
+++ b/tests/ui/associated-type-bounds/issue-79949.rs
diff --git a/src/test/ui/associated-type-bounds/issue-81193.rs b/tests/ui/associated-type-bounds/issue-81193.rs
index d2aa54ab9..d2aa54ab9 100644
--- a/src/test/ui/associated-type-bounds/issue-81193.rs
+++ b/tests/ui/associated-type-bounds/issue-81193.rs
diff --git a/src/test/ui/associated-type-bounds/issue-83017.rs b/tests/ui/associated-type-bounds/issue-83017.rs
index a02208661..a02208661 100644
--- a/src/test/ui/associated-type-bounds/issue-83017.rs
+++ b/tests/ui/associated-type-bounds/issue-83017.rs
diff --git a/src/test/ui/associated-type-bounds/issue-99828.rs b/tests/ui/associated-type-bounds/issue-99828.rs
index 7b711283f..7b711283f 100644
--- a/src/test/ui/associated-type-bounds/issue-99828.rs
+++ b/tests/ui/associated-type-bounds/issue-99828.rs
diff --git a/src/test/ui/associated-type-bounds/issue-99828.stderr b/tests/ui/associated-type-bounds/issue-99828.stderr
index 1c20ead05..dc93c47da 100644
--- a/src/test/ui/associated-type-bounds/issue-99828.stderr
+++ b/tests/ui/associated-type-bounds/issue-99828.stderr
@@ -15,9 +15,6 @@ LL | fn get_iter(vec: &[i32]) -> impl Iterator<Item = {}> + '_ {
|
note: associated type defined here
--> $SRC_DIR/core/src/iter/traits/iterator.rs:LL:COL
- |
-LL | type Item;
- | ^^^^^^^^^
error: aborting due to 2 previous errors
diff --git a/src/test/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.rs b/tests/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.rs
index 07d0f8f87..07d0f8f87 100644
--- a/src/test/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.rs
+++ b/tests/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.rs
diff --git a/src/test/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.stderr b/tests/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.stderr
index bc2807b03..bc2807b03 100644
--- a/src/test/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.stderr
+++ b/tests/ui/associated-type-bounds/missing-trait-bound-for-assoc-fails.stderr
diff --git a/src/test/ui/associated-type-bounds/order-dependent-bounds-issue-54121.rs b/tests/ui/associated-type-bounds/order-dependent-bounds-issue-54121.rs
index 77e4bd4d6..77e4bd4d6 100644
--- a/src/test/ui/associated-type-bounds/order-dependent-bounds-issue-54121.rs
+++ b/tests/ui/associated-type-bounds/order-dependent-bounds-issue-54121.rs
diff --git a/src/test/ui/associated-type-bounds/rpit.rs b/tests/ui/associated-type-bounds/rpit.rs
index 47cadf331..47cadf331 100644
--- a/src/test/ui/associated-type-bounds/rpit.rs
+++ b/tests/ui/associated-type-bounds/rpit.rs
diff --git a/src/test/ui/associated-type-bounds/struct-bounds.rs b/tests/ui/associated-type-bounds/struct-bounds.rs
index 2c1ce1c37..2c1ce1c37 100644
--- a/src/test/ui/associated-type-bounds/struct-bounds.rs
+++ b/tests/ui/associated-type-bounds/struct-bounds.rs
diff --git a/src/test/ui/associated-type-bounds/supertrait-referencing-self.rs b/tests/ui/associated-type-bounds/supertrait-referencing-self.rs
index c82ec01f4..c82ec01f4 100644
--- a/src/test/ui/associated-type-bounds/supertrait-referencing-self.rs
+++ b/tests/ui/associated-type-bounds/supertrait-referencing-self.rs
diff --git a/src/test/ui/associated-type-bounds/supertrait-referencing.rs b/tests/ui/associated-type-bounds/supertrait-referencing.rs
index 2e9753515..2e9753515 100644
--- a/src/test/ui/associated-type-bounds/supertrait-referencing.rs
+++ b/tests/ui/associated-type-bounds/supertrait-referencing.rs
diff --git a/src/test/ui/associated-type-bounds/supertrait-where-referencing-self.rs b/tests/ui/associated-type-bounds/supertrait-where-referencing-self.rs
index 72a6be9ff..72a6be9ff 100644
--- a/src/test/ui/associated-type-bounds/supertrait-where-referencing-self.rs
+++ b/tests/ui/associated-type-bounds/supertrait-where-referencing-self.rs
diff --git a/src/test/ui/associated-type-bounds/trait-alias-impl-trait.rs b/tests/ui/associated-type-bounds/trait-alias-impl-trait.rs
index e223a8957..e223a8957 100644
--- a/src/test/ui/associated-type-bounds/trait-alias-impl-trait.rs
+++ b/tests/ui/associated-type-bounds/trait-alias-impl-trait.rs
diff --git a/src/test/ui/associated-type-bounds/trait-params.rs b/tests/ui/associated-type-bounds/trait-params.rs
index b0703a4ee..b0703a4ee 100644
--- a/src/test/ui/associated-type-bounds/trait-params.rs
+++ b/tests/ui/associated-type-bounds/trait-params.rs
diff --git a/src/test/ui/associated-type-bounds/traits-assoc-anonymized.rs b/tests/ui/associated-type-bounds/traits-assoc-anonymized.rs
index a9d6eed81..a9d6eed81 100644
--- a/src/test/ui/associated-type-bounds/traits-assoc-anonymized.rs
+++ b/tests/ui/associated-type-bounds/traits-assoc-anonymized.rs
diff --git a/src/test/ui/associated-type-bounds/traits-assoc-type-macros.rs b/tests/ui/associated-type-bounds/traits-assoc-type-macros.rs
index d854dce38..d854dce38 100644
--- a/src/test/ui/associated-type-bounds/traits-assoc-type-macros.rs
+++ b/tests/ui/associated-type-bounds/traits-assoc-type-macros.rs
diff --git a/src/test/ui/associated-type-bounds/type-alias.rs b/tests/ui/associated-type-bounds/type-alias.rs
index f74c5ff1e..f74c5ff1e 100644
--- a/src/test/ui/associated-type-bounds/type-alias.rs
+++ b/tests/ui/associated-type-bounds/type-alias.rs
diff --git a/src/test/ui/associated-type-bounds/type-alias.stderr b/tests/ui/associated-type-bounds/type-alias.stderr
index c22b80b88..c22b80b88 100644
--- a/src/test/ui/associated-type-bounds/type-alias.stderr
+++ b/tests/ui/associated-type-bounds/type-alias.stderr
diff --git a/src/test/ui/associated-type-bounds/union-bounds.rs b/tests/ui/associated-type-bounds/union-bounds.rs
index 46e5aef04..46e5aef04 100644
--- a/src/test/ui/associated-type-bounds/union-bounds.rs
+++ b/tests/ui/associated-type-bounds/union-bounds.rs