Apply suggestions from code review

Co-authored-by: lcnr <[email protected]>

Author: compiler-errors

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) {}
 

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;
 }

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;

tests/ui/traits/object/incomplete-multiple-super-projection.rs

@@ -1,3 +1,4 @@
+// Regression test for #133361.
 trait Sup<T> {
     type Assoc;
 }