Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/predicate.rs')
| -rw-r--r-- | crates/hir-ty/src/next_solver/predicate.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/hir-ty/src/next_solver/predicate.rs b/crates/hir-ty/src/next_solver/predicate.rs index 2abd9bdd94..e16428cd2e 100644 --- a/crates/hir-ty/src/next_solver/predicate.rs +++ b/crates/hir-ty/src/next_solver/predicate.rs @@ -31,6 +31,7 @@ pub type ExistentialPredicate<'db> = ty::ExistentialPredicate<DbInterner<'db>>; pub type ExistentialTraitRef<'db> = ty::ExistentialTraitRef<DbInterner<'db>>; pub type ExistentialProjection<'db> = ty::ExistentialProjection<DbInterner<'db>>; pub type TraitPredicate<'db> = ty::TraitPredicate<DbInterner<'db>>; +pub type HostEffectPredicate<'db> = ty::HostEffectPredicate<DbInterner<'db>>; pub type ClauseKind<'db> = ty::ClauseKind<DbInterner<'db>>; pub type PredicateKind<'db> = ty::PredicateKind<DbInterner<'db>>; pub type NormalizesTo<'db> = ty::NormalizesTo<DbInterner<'db>>; |