diff options
| author | Michael Goulet <michael@errs.io> | 2023-03-26 20:33:54 +0000 | 
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-03-26 20:33:54 +0000 | 
| commit | 1ce4b37900cf0c7f5e146b866b5a8fae2b93f9fc (patch) | |
| tree | 14053358366bf1c402c4d7af58b4067710514b4c /compiler/rustc_trait_selection/src/traits/mod.rs | |
| parent | 96bd50dd47b645efa52d1312b9cc32e507d9cd76 (diff) | |
| download | rust-1ce4b37900cf0c7f5e146b866b5a8fae2b93f9fc.tar.gz rust-1ce4b37900cf0c7f5e146b866b5a8fae2b93f9fc.zip | |
Don't elaborate non-obligations into obligations
Diffstat (limited to 'compiler/rustc_trait_selection/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/mod.rs | 6 | 
1 files changed, 2 insertions, 4 deletions
| diff --git a/compiler/rustc_trait_selection/src/traits/mod.rs b/compiler/rustc_trait_selection/src/traits/mod.rs index e8970606704..8d831dca6e3 100644 --- a/compiler/rustc_trait_selection/src/traits/mod.rs +++ b/compiler/rustc_trait_selection/src/traits/mod.rs @@ -66,7 +66,7 @@ pub use self::util::{expand_trait_aliases, TraitAliasExpander}; pub use self::util::{get_vtable_index_of_object_method, impl_item_is_final, upcast_choices}; pub use self::util::{ supertrait_def_ids, supertraits, transitive_bounds, transitive_bounds_that_define_assoc_type, - SupertraitDefIds, Supertraits, + SupertraitDefIds, }; pub use self::chalk_fulfill::FulfillmentContext as ChalkFulfillmentContext; @@ -267,9 +267,7 @@ pub fn normalize_param_env_or_error<'tcx>( // and errors will get reported then; so outside of type inference we // can be sure that no errors should occur. let mut predicates: Vec<_> = - util::elaborate_predicates(tcx, unnormalized_env.caller_bounds().into_iter()) - .map(|obligation| obligation.predicate) - .collect(); + util::elaborate_predicates(tcx, unnormalized_env.caller_bounds().into_iter()).collect(); debug!("normalize_param_env_or_error: elaborated-predicates={:?}", predicates); | 
