diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-11-21 14:11:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-21 14:11:11 +0100 |
| commit | 844e3fb92827eed09ebee58e0e93f5317806b9fa (patch) | |
| tree | 4e98a204e3753f1a9e9df2d3b15f13ce747cef3c /compiler/rustc_const_eval | |
| parent | cc2397b2cd654833b3f02a4153819a9be3824860 (diff) | |
| parent | c36ff28d4214c65df55cb1d9d8085b34d33d37fb (diff) | |
| download | rust-844e3fb92827eed09ebee58e0e93f5317806b9fa.tar.gz rust-844e3fb92827eed09ebee58e0e93f5317806b9fa.zip | |
Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnr
Add `PolyExistentialPredicate` type alias
Wrapping `ExistentialPredicate`s in a binder is very common, and this alias already exists for the `PolyExistential{TraitRef,Projection}` types.
Diffstat (limited to 'compiler/rustc_const_eval')
| -rw-r--r-- | compiler/rustc_const_eval/src/util/type_name.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_const_eval/src/util/type_name.rs b/compiler/rustc_const_eval/src/util/type_name.rs index 08a6d69b8e4..14c8c88028b 100644 --- a/compiler/rustc_const_eval/src/util/type_name.rs +++ b/compiler/rustc_const_eval/src/util/type_name.rs @@ -74,7 +74,7 @@ impl<'tcx> Printer<'tcx> for AbsolutePathPrinter<'tcx> { fn print_dyn_existential( self, - predicates: &'tcx ty::List<ty::Binder<'tcx, ty::ExistentialPredicate<'tcx>>>, + predicates: &'tcx ty::List<ty::PolyExistentialPredicate<'tcx>>, ) -> Result<Self::DynExistential, Self::Error> { self.pretty_print_dyn_existential(predicates) } |