voile::check::expr
fn check_fields( tcs: TCS, fields: &[LabAbs], field_types: &Fields) -> TCM<(Fields, Variants, TCS)>