Function voile::check::expr::check_fields_no_more

fn check_fields_no_more(
    info: Loc, 
    nice_fields: Fields, 
    rest_field_types: Variants, 
    tcs: TCS
) -> ValTCM