diff options
| author | Aaron Hill <aa1ronham@gmail.com> | 2021-10-30 14:14:28 -0500 |
|---|---|---|
| committer | Aaron Hill <aa1ronham@gmail.com> | 2021-10-30 14:14:44 -0500 |
| commit | 67da0ff2967b477a84bb60759a95fa6d733c7a61 (patch) | |
| tree | 8541cf397c24fdf2b00316fce01d4685d6d96b5a | |
| parent | 9f13083542cb2b9fce83ed8a50238e4a6386820f (diff) | |
| download | rust-67da0ff2967b477a84bb60759a95fa6d733c7a61.tar.gz rust-67da0ff2967b477a84bb60759a95fa6d733c7a61.zip | |
Deduplicate projection sub-obligations
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/project.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/project.rs b/compiler/rustc_trait_selection/src/traits/project.rs index db8a6d96204..574dd5fc8f4 100644 --- a/compiler/rustc_trait_selection/src/traits/project.rs +++ b/compiler/rustc_trait_selection/src/traits/project.rs @@ -20,6 +20,7 @@ use super::{Normalized, NormalizedTy, ProjectionCacheEntry, ProjectionCacheKey}; use crate::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind}; use crate::infer::{InferCtxt, InferOk, LateBoundRegionConversionTime}; use crate::traits::error_reporting::InferCtxtExt as _; +use rustc_data_structures::fx::FxHashSet; use rustc_data_structures::stack::ensure_sufficient_stack; use rustc_errors::ErrorReported; use rustc_hir::def_id::DefId; @@ -944,6 +945,11 @@ fn opt_normalize_projection_type<'a, 'b, 'tcx>( Normalized { value: projected_ty, obligations: projected_obligations } }; + let mut deduped: FxHashSet<_> = Default::default(); + result + .obligations + .drain_filter(|sub_obligation| !deduped.insert(sub_obligation.clone())); + let mut canonical = SelectionContext::with_query_mode(selcx.infcx(), TraitQueryMode::Canonical); result.obligations.drain_filter(|projected_obligation| { |
