diff options
| author | Jack Huey <jack.huey@umassmed.edu> | 2020-12-23 16:36:23 -0500 |
|---|---|---|
| committer | Jack Huey <jack.huey@umassmed.edu> | 2021-01-16 18:40:47 -0500 |
| commit | 4cd6f85a07bf6a8db8288ff37cc11a2ecb72e1a7 (patch) | |
| tree | ba8573fd7f5ebe9e23312a6726f63df5dc96dcd9 /compiler/rustc_ty_utils | |
| parent | 4cb3d6f983cfeab13171a7171425b624545b9ccc (diff) | |
| download | rust-4cd6f85a07bf6a8db8288ff37cc11a2ecb72e1a7.tar.gz rust-4cd6f85a07bf6a8db8288ff37cc11a2ecb72e1a7.zip | |
Remove PredicateKind
Diffstat (limited to 'compiler/rustc_ty_utils')
| -rw-r--r-- | compiler/rustc_ty_utils/src/ty.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_ty_utils/src/ty.rs b/compiler/rustc_ty_utils/src/ty.rs index b28cc765330..64fefd82e06 100644 --- a/compiler/rustc_ty_utils/src/ty.rs +++ b/compiler/rustc_ty_utils/src/ty.rs @@ -5,7 +5,7 @@ use rustc_hir::def_id::{CrateNum, DefId, LocalDefId, LOCAL_CRATE}; use rustc_middle::hir::map as hir_map; use rustc_middle::ty::subst::Subst; use rustc_middle::ty::{ - self, Binder, Predicate, PredicateAtom, PredicateKind, ToPredicate, Ty, TyCtxt, WithConstness, + self, Binder, Predicate, PredicateAtom, ToPredicate, Ty, TyCtxt, WithConstness, }; use rustc_session::CrateDisambiguator; use rustc_span::symbol::Symbol; @@ -379,7 +379,7 @@ fn well_formed_types_in_env<'tcx>( match arg.unpack() { GenericArgKind::Type(ty) => { let binder = Binder::dummy(PredicateAtom::TypeWellFormedFromEnv(ty)); - Some(tcx.mk_predicate(PredicateKind::ForAll(binder))) + Some(tcx.mk_predicate(binder)) } // FIXME(eddyb) no WF conditions from lifetimes? |