Function fungi_lang::bitype::check_val

pub fn check_val(
    last_label: Option<&str>, 
    ctxt: &TCtxt, 
    val: &Val, 
    typ: &Type
) -> TypeInfo<ValTD>