@@ -307,7 +307,8 @@ impl<'db> MatchCheckCtx<'db> {
307
307
& Str ( void) => match void { } ,
308
308
Wildcard | NonExhaustive | Hidden | PrivateUninhabited => PatKind :: Wild ,
309
309
Never => PatKind :: Never ,
310
- Missing | F32Range ( ..) | F64Range ( ..) | Opaque ( ..) | Or => {
310
+ Missing | F16Range ( ..) | F32Range ( ..) | F64Range ( ..) | F128Range ( ..) | Opaque ( ..)
311
+ | Or => {
311
312
never ! ( "can't convert to pattern: {:?}" , pat. ctor( ) ) ;
312
313
PatKind :: Wild
313
314
}
@@ -356,8 +357,9 @@ impl<'db> PatCx for MatchCheckCtx<'db> {
356
357
} ,
357
358
Ref => 1 ,
358
359
Slice ( ..) => unimplemented ! ( ) ,
359
- Never | Bool ( ..) | IntRange ( ..) | F32Range ( ..) | F64Range ( ..) | Str ( ..)
360
- | Opaque ( ..) | NonExhaustive | PrivateUninhabited | Hidden | Missing | Wildcard => 0 ,
360
+ Never | Bool ( ..) | IntRange ( ..) | F16Range ( ..) | F32Range ( ..) | F64Range ( ..)
361
+ | F128Range ( ..) | Str ( ..) | Opaque ( ..) | NonExhaustive | PrivateUninhabited
362
+ | Hidden | Missing | Wildcard => 0 ,
361
363
Or => {
362
364
never ! ( "The `Or` constructor doesn't have a fixed arity" ) ;
363
365
0
@@ -419,8 +421,9 @@ impl<'db> PatCx for MatchCheckCtx<'db> {
419
421
}
420
422
} ,
421
423
Slice ( _) => unreachable ! ( "Found a `Slice` constructor in match checking" ) ,
422
- Never | Bool ( ..) | IntRange ( ..) | F32Range ( ..) | F64Range ( ..) | Str ( ..)
423
- | Opaque ( ..) | NonExhaustive | PrivateUninhabited | Hidden | Missing | Wildcard => {
424
+ Never | Bool ( ..) | IntRange ( ..) | F16Range ( ..) | F32Range ( ..) | F64Range ( ..)
425
+ | F128Range ( ..) | Str ( ..) | Opaque ( ..) | NonExhaustive | PrivateUninhabited
426
+ | Hidden | Missing | Wildcard => {
424
427
smallvec ! [ ]
425
428
}
426
429
Or => {
0 commit comments