Function ezno_checker::types::subtyping::type_is_subtype_of_property

source · 
pub fn type_is_subtype_of_property(
    (property, property_generics): (&Logical<PropertyValue>, GenericChain<'_>),
    ty: TypeId,
    state: &mut State<'_>,
    information: &impl InformationChain,
    types: &TypeStore,
) -> SubTypeResult
Expand description

TODO integrate set_restriction, but it can’t create a type ? maybe object restriction should be logically. maybe sub function