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