pub fn expect_subtype(&self, ty1: &RcType, ty2: &RcType) -> Result<(), TypeError> {
        if nbe::check_subtype(self.level(), ty1, ty2)? {
            Ok(())
        } else {
            Err(TypeError::ExpectedSubtype(ty1.clone(), ty2.clone()))
        }
    }
/// Expect that `ty1` is a subtype of `ty2` in the current context.
Expect that `ty1` is a subtype of `ty2` in the current context.
Expect that ` ty1 ` is a subtype of ` ty2 ` in the current context .
pub fn expect_subtype(&self, ty1: &RcType, ty2: &RcType) -> Result<(), TypeError> {
        if nbe::check_subtype(self.level(), ty1, ty2)? {
            Ok(())
        } else {
            Err(TypeError::ExpectedSubtype(ty1.clone(), ty2.clone()))
        }
    }
pub fn expect_subtype ( & self , ty1 : & RcType , ty2 : & RcType ) -> Result < ( ) , TypeError > { if nbe :: check_subtype ( self . level ( ) , ty1 , ty2 ) ? { Ok ( ( ) ) } else { Err ( TypeError :: ExpectedSubtype ( ty1 . clone ( ) , ty2 . clone ( ) ) ) } }
Expect that `ty1` is a subtype of `ty2` in the current context.
Expect that ` ty1 ` is a subtype of ` ty2 ` in the current context .
&self
ty1
&RcType
ty2
&RcType