bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Auto merge of #117811 - MU001999:master, r=lcnr

Browse source 
Turn assert_eq into a delay_span_bug

Fixes #117789
This commit is contained in:
bors 2023-11-13 12:17:22 +00:00
commit 1ab2bcda43
3 changed files with 35 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -452,7 +452,13 @@ fn lint_auto_trait_impl<'tcx>(
trait_ref: ty::TraitRef<'tcx>,
impl_def_id: LocalDefId,
) {
assert_eq!(trait_ref.args.len(), 1);
if trait_ref.args.len() != 1 {
tcx.sess.diagnostic().delay_span_bug(
tcx.def_span(impl_def_id),
"auto traits cannot have generic parameters",
);
return;
}
let self_ty = trait_ref.self_ty();
let (self_type_did, args) = match self_ty.kind() {
ty::Adt(def, args) => (def.did(), args),