Type Alias SubtypePredicate

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>