Change wording to less jaron-y "non-auto trait"

Co-authored-by: Vadim Petrochenkov <[email protected]>
rust-lang · Aug 31, 2021 · 6e70678 · 6e70678
1 parent 435cdd0
commit 6e70678
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/compiler/rustc_typeck/src/coherence/inherent_impls.rs b/compiler/rustc_typeck/src/coherence/inherent_impls.rs
@@ -67,7 +67,7 @@ impl ItemLikeVisitor<'v> for InherentCollect<'tcx> {
                     E0785,
                     "cannot define inherent `impl` for a dyn auto trait"
                 )
-                .span_label(ty.span, "impl requires a principal trait")
+                .span_label(ty.span, "impl requires at least one non-auto trait")
                 .note("define and implement a new trait or type instead")
                 .emit();
             }

diff --git a/src/test/ui/coherence/issue-85026.stderr b/src/test/ui/coherence/issue-85026.stderr
@@ -2,15 +2,15 @@ error[E0785]: cannot define inherent `impl` for a dyn auto trait
   --> $DIR/issue-85026.rs:5:6
    |
 LL | impl dyn AutoTrait {}
-   |      ^^^^^^^^^^^^^ impl requires a principal trait
+   |      ^^^^^^^^^^^^^ impl requires at least one non-auto trait
    |
    = note: define and implement a new trait or type instead
 
 error[E0785]: cannot define inherent `impl` for a dyn auto trait
   --> $DIR/issue-85026.rs:8:6
    |
 LL | impl dyn Unpin {}
-   |      ^^^^^^^^^ impl requires a principal trait
+   |      ^^^^^^^^^ impl requires at least one non-auto trait
    |
    = note: define and implement a new trait or type instead