Skip auto traits with generic parameters when linting auto trait impls

Author: mu001999

compiler/rustc_hir_analysis/src/coherence/orphan.rs

@@ -27,7 +27,7 @@ pub(crate) fn orphan_check_impl(
     trait_ref.error_reported()?;
 
     let ret = do_orphan_check_impl(tcx, trait_ref, impl_def_id);
-    if tcx.trait_is_auto(trait_ref.def_id) {
+    if tcx.trait_is_auto(trait_ref.def_id) && trait_ref.args.len() == 1 {
         lint_auto_trait_impl(tcx, trait_ref, impl_def_id);
     }
 
@@ -452,7 +452,6 @@ fn lint_auto_trait_impl<'tcx>(
     trait_ref: ty::TraitRef<'tcx>,
     impl_def_id: LocalDefId,
 ) {
-    assert_eq!(trait_ref.args.len(), 1);
     let self_ty = trait_ref.self_ty();
     let (self_type_did, args) = match self_ty.kind() {
         ty::Adt(def, args) => (def.did(), args),

tests/ui/auto-traits/issue-117789.rs

@@ -0,0 +1,6 @@
+#![deny(suspicious_auto_trait_impls)]
+
+auto trait Trait<P> {}
+impl<P> Trait<P> for () {}
+
+fn main() {}

tests/ui/auto-traits/issue-117789.stderr

@@ -0,0 +1,21 @@
+error[E0567]: auto traits cannot have generic parameters
+  --> $DIR/issue-117789.rs:3:17
+   |
+LL | auto trait Trait<P> {}
+   |            -----^^^ help: remove the parameters
+   |            |
+   |            auto trait cannot have generic parameters
+
+error[E0658]: auto traits are experimental and possibly buggy
+  --> $DIR/issue-117789.rs:3:1
+   |
+LL | auto trait Trait<P> {}
+   | ^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #13231 <https://github.com/rust-lang/rust/issues/13231> for more information
+   = help: add `#![feature(auto_traits)]` to the crate attributes to enable
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0567, E0658.
+For more information about an error, try `rustc --explain E0567`.