/// Check that a literal conforms to a given type.
Check that a literal conforms to a given type.
Check that a literal conforms to a given type .
pub fn check_literal(
    context: &Context,
    metas: &meta::Env,
    literal_intro: &LiteralIntro,
    expected_ty: &Rc<Type>,
) -> Result<(), TypeError> {
    context.check_subtype(metas, &synth_literal(literal_intro), expected_ty)
}
pub fn check_literal ( context : & Context , metas : & meta :: Env , literal_intro : & LiteralIntro , expected_ty : & Rc < Type > , ) -> Result < ( ) , TypeError > { context . check_subtype ( metas , & synth_literal ( literal_intro ) , expected_ty ) }
Check that a literal conforms to a given type.
Check that a literal conforms to a given type .
context
&Context
metas
&meta::Env
literal_intro
&LiteralIntro
expected_ty
&Rc<Type>