pub fn check_literal(
    context: &Context,
    literal_intro: &LiteralIntro,
    expected_ty: &RcType,
) -> Result<(), TypeError> {
    context.expect_subtype(&synth_literal(literal_intro), expected_ty)
}
/// 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,
    literal_intro: &LiteralIntro,
    expected_ty: &RcType,
) -> Result<(), TypeError> {
    context.expect_subtype(&synth_literal(literal_intro), expected_ty)
}
pub fn check_literal ( context : & Context , literal_intro : & LiteralIntro , expected_ty : & RcType , ) -> Result < ( ) , TypeError > { context . expect_subtype ( & 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
literal_intro
&LiteralIntro
expected_ty
&RcType