mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Always assert that impl_trait_def|bounds are empty at start

Browse Source
This commit is contained in:
Santiago Pastorino 2022-06-01 15:38:37 -03:00
parent 67deaf9fea
commit 15a82d6917
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/rustc_ast_lowering/src/item.rs
View File

@ -1305,13 +1305,8 @@ impl<'hir> LoweringContext<'_, 'hir> {
itctx: ImplTraitContext, itctx: ImplTraitContext,
f: impl FnOnce(&mut Self) -> T, f: impl FnOnce(&mut Self) -> T,
) -> (&'hir hir::Generics<'hir>, T) { ) -> (&'hir hir::Generics<'hir>, T) {
match itctx { debug_assert!(self.impl_trait_defs.is_empty());
ImplTraitContext::Universal(..) => {} 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. // 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 // Note: we used to clone these bounds directly onto the type parameter (and avoid lowering