about summary refs log tree commit diff
path: root/tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-03-20 12:52:54 -0400
committerMichael Goulet <michael@errs.io>2024-03-20 13:00:34 -0400
commitce5f8c93fa28ef0a56531f8b43296b1779d49240 (patch)
tree3bea65aa0f01da88df0abbb8cecfe47e47a0b3ca /tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs
parentaa39dbb962fc1410613458e88269fe0b760ad7f8 (diff)
downloadrust-ce5f8c93fa28ef0a56531f8b43296b1779d49240.tar.gz
rust-ce5f8c93fa28ef0a56531f8b43296b1779d49240.zip
Bless test fallout (duplicate diagnostics)
Diffstat (limited to 'tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs')
-rw-r--r--tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs b/tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs
index aaf16181030..06fd0a024f0 100644
--- a/tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs
+++ b/tests/ui/associated-consts/assoc-const-eq-param-in-ty.rs
@@ -37,8 +37,19 @@ fn take2<P: Project<SELF = {}>>(_: P) {}
 
 trait Iface<'r> {
     //~^ NOTE the lifetime parameter `'r` is defined here
+    //~| NOTE the lifetime parameter `'r` is defined here
     type Assoc<const Q: usize>: Trait<'r, Self, Q, K = { loop {} }>
     //~^ ERROR the type of the associated constant `K` must not depend on generic parameters
+    //~| ERROR the type of the associated constant `K` must not depend on generic parameters
+    //~| NOTE its type must not depend on the lifetime parameter `'r`
+    //~| NOTE `K` has type `&'r [Self; Q]`
+    //~| ERROR the type of the associated constant `K` must not depend on `Self`
+    //~| NOTE its type must not depend on `Self`
+    //~| NOTE `K` has type `&'r [Self; Q]`
+    //~| ERROR the type of the associated constant `K` must not depend on generic parameters
+    //~| NOTE its type must not depend on the const parameter `Q`
+    //~| NOTE the const parameter `Q` is defined here
+    //~| NOTE `K` has type `&'r [Self; Q]`
     //~| NOTE its type must not depend on the lifetime parameter `'r`
     //~| NOTE `K` has type `&'r [Self; Q]`
     //~| ERROR the type of the associated constant `K` must not depend on `Self`
@@ -48,6 +59,9 @@ trait Iface<'r> {
     //~| NOTE its type must not depend on the const parameter `Q`
     //~| NOTE the const parameter `Q` is defined here
     //~| NOTE `K` has type `&'r [Self; Q]`
+    //~| NOTE duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
+    //~| NOTE duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
+    //~| NOTE duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
     where
         Self: Sized + 'r;
 }