diff options
| author | Deadbeef <ent3rm4n@gmail.com> | 2022-07-21 07:45:49 +0000 |
|---|---|---|
| committer | Deadbeef <ent3rm4n@gmail.com> | 2022-07-21 07:45:49 +0000 |
| commit | a0ebb2ed8b59e8eec9add6acda0673dcf468596f (patch) | |
| tree | c276945c88caf20b706483b2192e6835e6fc8f60 /compiler/rustc_middle | |
| parent | 8464396a19da9cbba15a815eaa7448a2fc3b5fa8 (diff) | |
| download | rust-a0ebb2ed8b59e8eec9add6acda0673dcf468596f.tar.gz rust-a0ebb2ed8b59e8eec9add6acda0673dcf468596f.zip | |
change `map_bound(|_| x` to `rebind(x`
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/ty/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/ty/mod.rs b/compiler/rustc_middle/src/ty/mod.rs index 893700ca5d8..12da0b8b3d8 100644 --- a/compiler/rustc_middle/src/ty/mod.rs +++ b/compiler/rustc_middle/src/ty/mod.rs @@ -580,7 +580,7 @@ impl<'tcx> Predicate<'tcx> { if let PredicateKind::Trait(TraitPredicate { trait_ref, constness, polarity }) = self.kind().skip_binder() && constness != BoundConstness::NotConst { - self = tcx.mk_predicate(self.kind().map_bound(|_| PredicateKind::Trait(TraitPredicate { + self = tcx.mk_predicate(self.kind().rebind(PredicateKind::Trait(TraitPredicate { trait_ref, constness: BoundConstness::NotConst, polarity, |