@@ -148,10 +148,6 @@ message Blizzard {
148
148
repeated Snowflake snowflake = 1 [(distinct) = true ];
149
149
}
150
150
151
- message Constitution {
152
- string amendments = 1 [(distinct) = true ];
153
- }
154
-
155
151
// Artificial blizzards allow repeating snowflakes.
156
152
message ArtificialBlizzard {
157
153
repeated Snowflake snowflake = 1 [(distinct) = false ];
@@ -180,17 +176,6 @@ message DecimalDigit {
180
176
int32 value = 1 [(range) = "[0..10)" ];
181
177
}
182
178
183
- // A malformed range expression, the range is not closed (as in the right edge is omitted).
184
- message UpToInfinity {
185
-
186
- int32 value = 1 [(range) = "[0.." ];
187
- }
188
-
189
- // A malformed range expression, the range is unopened (as in the left edge is omitted).
190
- message Unopened {
191
- int32 value = 1 [(range) = "..2)" ];
192
- }
193
-
194
179
// A bet that has below 50% chance to win.
195
180
message UnsafeBet {
196
181
double odds = 1 [(range) = "[0.0..0.5)" ];
@@ -205,8 +190,8 @@ message FrostyWeather {
205
190
double celcius = 1 [(range) = "(-10.0..-5.5]" ];
206
191
}
207
192
208
- // This message declares a field that has a value with boundary types inconsistent to its
209
- // value type.
193
+ // This message declares a field that has a value with boundary types inconsistent
194
+ // while the value of the value type.
210
195
message FrostyWeatherButInWholeNumber {
211
196
212
197
// Since `celcius` is of type `double`, the boundaries cannot be of a whole
@@ -227,20 +212,8 @@ message SpacedOutBoundaries {
227
212
int32 value = 1 [(range) = " [ 31..32 ) " ];
228
213
}
229
214
230
- message MinorCitizen {
231
-
232
- // Malformed range - the value the field is `int32` - whole number, while the value of the
233
- // left range edge is a floating point number.
234
- int32 age = 1 [(range) = "(0..18.01)" ];
235
- }
236
-
237
- // A message with a value that has a malformed range.
238
- message IllegalRanges {
239
- double value = 1 [(range) = "{0.6..4.2}" ];
240
- }
241
-
242
- // A snowflake is represented by a polygon. Two snowflakes are equal if they have the same
243
- // amount of edges.
215
+ // A snowflake is represented by a polygon. Two snowflakes are equal if they
216
+ // have the same amount of edges.
244
217
message Snowflake {
245
218
246
219
int32 edges = 1 ;
0 commit comments