Never say "Trait is implemented for {type error}

Author: estebank

compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs

@@ -1908,8 +1908,12 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
                             ct_op: |ct| ct.normalize(self.tcx, ty::ParamEnv::empty()),
                         },
                     );
+                    if !cand.references_error() {
                     err.highlighted_help(vec![
-                        StringPart::normal(format!("the trait `{}` ", cand.print_trait_sugared())),
+                            StringPart::normal(format!(
+                                "the trait `{}` ",
+                                cand.print_trait_sugared()
+                            )),
                         StringPart::highlighted("is"),
                         StringPart::normal(" implemented for `"),
                         StringPart::highlighted(cand.self_ty().to_string()),
@@ -1922,6 +1926,7 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
                             "for that trait implementation, expected `{}`, found `{}`",
                             exp_found.expected, exp_found.found
                         ));
+                        }
                     }
 
                     true
@@ -1932,7 +1937,8 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
         }
 
         let other = if other { "other " } else { "" };
-        let report = |candidates: Vec<TraitRef<'tcx>>, err: &mut DiagnosticBuilder<'_>| {
+        let report = |mut candidates: Vec<TraitRef<'tcx>>, err: &mut DiagnosticBuilder<'_>| {
+            candidates.retain(|tr| !tr.references_error());
             if candidates.is_empty() {
                 return false;
             }

tests/ui/associated-consts/issue-105330.stderr

@@ -55,7 +55,6 @@ error[E0277]: the trait `TraitWAssocConst` is not implemented for `Demo`
 LL |     foo::<Demo>()();
    |           ^^^^ the trait `TraitWAssocConst` is not implemented for `Demo`
    |
-   = help: the trait `TraitWAssocConst` is implemented for `{type error}`
 note: required by a bound in `foo`
   --> $DIR/issue-105330.rs:11:11
    |
@@ -92,7 +91,6 @@ error[E0277]: the trait `TraitWAssocConst` is not implemented for `Demo`
 LL |     foo::<Demo>();
    |           ^^^^ the trait `TraitWAssocConst` is not implemented for `Demo`
    |
-   = help: the trait `TraitWAssocConst` is implemented for `{type error}`
 note: required by a bound in `foo`
   --> $DIR/issue-105330.rs:11:11
    |