From 15a82d6917c66e695e8932771217f164c8fe008c Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Wed, 1 Jun 2022 15:38:37 -0300 Subject: [PATCH] Always assert that impl_trait_def|bounds are empty at start --- compiler/rustc_ast_lowering/src/item.rs | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/compiler/rustc_ast_lowering/src/item.rs b/compiler/rustc_ast_lowering/src/item.rs index deb9a8677cc..85d3bf66d8e 100644 --- a/compiler/rustc_ast_lowering/src/item.rs +++ b/compiler/rustc_ast_lowering/src/item.rs @@ -1305,13 +1305,8 @@ impl<'hir> LoweringContext<'_, 'hir> { itctx: ImplTraitContext, f: impl FnOnce(&mut Self) -> T, ) -> (&'hir hir::Generics<'hir>, T) { - match itctx { - ImplTraitContext::Universal(..) => {} - _ => { - debug_assert!(self.impl_trait_defs.is_empty()); - debug_assert!(self.impl_trait_bounds.is_empty()); - } - } + debug_assert!(self.impl_trait_defs.is_empty()); + debug_assert!(self.impl_trait_bounds.is_empty()); // Error if `?Trait` bounds in where clauses don't refer directly to type parameters. // Note: we used to clone these bounds directly onto the type parameter (and avoid lowering