bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

emit the suspicious_auto_trait_impls for negative impls as well

Browse source
This commit is contained in:
Mu42 2023-03-06 20:04:33 +08:00
parent 8c0f83d773
commit 2fe288fd29
3 changed files with 67 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_hir_analysis/src/coherence/orphan.rs
View file

@ -478,10 +478,6 @@ fn lint_auto_trait_impl<'tcx>(
trait_ref: ty::TraitRef<'tcx>,
impl_def_id: LocalDefId,
) {
if tcx.impl_polarity(impl_def_id) != ImplPolarity::Positive {
return;
}
assert_eq!(trait_ref.substs.len(), 1);
let self_ty = trait_ref.self_ty();
let (self_type_did, substs) = match self_ty.kind() {