E0221 new format message

src/librustc_typeck/astconv.rs

@@ -1285,6 +1285,7 @@ impl<'o, 'gcx: 'tcx, 'tcx> AstConv<'gcx, 'tcx>+'o {
                                            "ambiguous associated type `{}` in bounds of `{}`",
                                            assoc_name,
                                            ty_param_name);
+            err.span_label(span, &format!("ambiguous associated type `{}`", assoc_name));
 
             for bound in &bounds {
                 span_note!(&mut err, span,

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

src/test/compile-fail/associated-type-projection-from-multiple-supertraits.rs

@@ -27,22 +27,24 @@ pub trait BoxCar : Box + Vehicle {
 }
 
 fn dent<C:BoxCar>(c: C, color: C::Color) {
-    //~^ ERROR ambiguous associated type `Color` in bounds of `C`
-    //~| NOTE could derive from `Vehicle`
-    //~| NOTE could derive from `Box`
+    //~^ ERROR E0221
+    //~| NOTE ambiguous associated type `Color`
+    //~| NOTE associated type `Color` could derive from `Vehicle`
+    //~| NOTE associated type `Color` could derive from `Box`
 }
 
 fn dent_object<COLOR>(c: BoxCar<Color=COLOR>) {
-    //~^ ERROR ambiguous associated type
-    //~| ERROR the value of the associated type `Color` (from the trait `Vehicle`) must be specified
-    //~| NOTE could derive from `Vehicle`
-    //~| NOTE could derive from `Box`
+    //~^ ERROR E0221
+    //~| NOTE ambiguous associated type `Color`
+    //~| NOTE associated type `Color` could derive from `Vehicle`
+    //~| NOTE associated type `Color` could derive from `Box`
 }
 
 fn paint<C:BoxCar>(c: C, d: C::Color) {
-    //~^ ERROR ambiguous associated type `Color` in bounds of `C`
-    //~| NOTE could derive from `Vehicle`
-    //~| NOTE could derive from `Box`
+    //~^ ERROR E0221
+    //~| NOTE ambiguous associated type `Color`
+    //~| NOTE associated type `Color` could derive from `Vehicle`
+    //~| NOTE associated type `Color` could derive from `Box`
 }
 
 pub fn main() { }