Rollup merge of #35770 - crypto-universe:E0221, r=jonathandturner

Updated test for E0221

As a part of issue #35233
?r @GuillaumeGomez

src/test/compile-fail/E0221.rs

@@ -18,7 +18,11 @@ trait Foo {
 trait Bar : Foo {
     type A: T2;
     fn do_something() {
-        let _: Self::A; //~ ERROR E0221
+        let _: Self::A;
+        //~^ ERROR E0221
+        //~| NOTE ambiguous associated type `A`
+        //~| NOTE associated type `Self` could derive from `Foo`
+        //~| NOTE associated type `Self` could derive from `Bar`
     }
 }