Function voile::check::expr::check_variant_or_cons

fn check_variant_or_cons(
    info: &SyntaxInfo, 
    param_ty: &TVal, 
    ret_ty: &Closure
) -> TCM<()>