Apply suggestions from code review

Co-authored-by: lcnr <rust@lcnr.de>
rust-lang · Feb 21, 2025 · 7a757b7 · 7a757b7
1 parent f7ee72a
commit 7a757b7
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 0 deletions.
diff --git a/tests/ui/closures/deduce-from-object-supertrait.rs b/tests/ui/closures/deduce-from-object-supertrait.rs
@@ -1,5 +1,7 @@
 //@ check-pass
 
+// This test checks that we look at consider the super traits of trait objects
+// when deducing closure signatures.
 trait Foo: Fn(Bar) {}
 impl<T> Foo for T where T: Fn(Bar) {}
 

diff --git a/tests/ui/dyn-compatibility/multiple-supers-should-work.rs b/tests/ui/dyn-compatibility/multiple-supers-should-work.rs
@@ -1,5 +1,7 @@
 //@ check-pass
 
+// We previously incorrectly deduplicated the list of projection bounds
+// of trait objects, causing us to incorrectly reject this code, cc #136458.
 trait Sup<T> {
     type Assoc;
 }

diff --git a/tests/ui/traits/object/crash-due-to-projections-modulo-norm.rs b/tests/ui/traits/object/crash-due-to-projections-modulo-norm.rs
@@ -1,5 +1,6 @@
 //@ check-pass
 
+// Regression test for #126944.
 // Step 1: Create two names for a single type: `Thing` and `AlsoThing`
 
 struct Thing;

diff --git a/tests/ui/traits/object/incomplete-multiple-super-projection.rs b/tests/ui/traits/object/incomplete-multiple-super-projection.rs
@@ -1,3 +1,4 @@
+// Regression test for #133361.
 trait Sup<T> {
     type Assoc;
 }