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/auto_trait.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/auto_trait.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/auto_trait.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/auto_trait.rs b/compiler/rustc_trait_selection/src/traits/auto_trait.rs index 6b3a59b1ed5..878c502655c 100644 --- a/compiler/rustc_trait_selection/src/traits/auto_trait.rs +++ b/compiler/rustc_trait_selection/src/traits/auto_trait.rs @@ -349,8 +349,7 @@ impl<'tcx> AutoTraitFinder<'tcx> { let normalized_preds = elaborate_predicates( tcx, computed_preds.clone().chain(user_computed_preds.iter().cloned()), - ) - .map(|o| o.predicate); + ); new_env = ty::ParamEnv::new( tcx.mk_predicates_from_iter(normalized_preds), param_env.reveal(), |