bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add a debug asserts call to match_projection_projections to ensure invariant

Browse source
This commit is contained in:
Santiago Pastorino 2024-04-06 14:45:48 -03:00
parent 83d0a940c6
commit 60be29bec8
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_trait_selection/src/traits/select/mod.rs
View file

@ -1732,6 +1732,8 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
env_predicate: PolyProjectionPredicate<'tcx>, env_predicate: PolyProjectionPredicate<'tcx>,
potentially_unnormalized_candidates: bool, potentially_unnormalized_candidates: bool,
) -> ProjectionMatchesProjection { ) -> ProjectionMatchesProjection {
debug_assert_eq!(obligation.predicate.def_id, env_predicate.projection_def_id());
let mut nested_obligations = Vec::new(); let mut nested_obligations = Vec::new();
let infer_predicate = self.infcx.instantiate_binder_with_fresh_vars( let infer_predicate = self.infcx.instantiate_binder_with_fresh_vars(
obligation.cause.span, obligation.cause.span,