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_infer/src | |
| 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_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/infer/error_reporting/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/error_reporting/mod.rs b/compiler/rustc_infer/src/infer/error_reporting/mod.rs index 22f32251f6d..e03a4ea8247 100644 --- a/compiler/rustc_infer/src/infer/error_reporting/mod.rs +++ b/compiler/rustc_infer/src/infer/error_reporting/mod.rs @@ -542,7 +542,7 @@ impl<'tcx> TypeErrCtxt<'_, '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> { Err(NonTrivialPath) } |