pub fn fields_default<V>(
    validator: V,
    value: Fields<'_>
) -> Result<(), Diagnostic>where
    V: Validator,