hir_ty::next_solver::predicate

Type Alias CoercePredicate

Source 
pub type CoercePredicate<'db> = CoercePredicate<DbInterner<'db>>;

Aliased Type§

pub struct CoercePredicate<'db> {
    pub a: Ty<'db>,
    pub b: Ty<'db>,
}

Fields§

§a: Ty<'db>§b: Ty<'db>