hir_ty::next_solver::predicate

Type Alias SubtypePredicate

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

Aliased Type§

pub struct SubtypePredicate<'db> {
    pub a_is_expected: bool,
    pub a: Ty<'db>,
    pub b: Ty<'db>,
}

Fields§

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