@@ -70,8 +70,9 @@ pub enum CastError {
70
70
NeedViaThinPtr ,
71
71
NeedViaInt ,
72
72
NonScalar ,
73
- UnknownCastPtrKind ,
74
- UnknownExprPtrKind ,
73
+ // We don't want to report errors with unknown types currently.
74
+ // UnknownCastPtrKind,
75
+ // UnknownExprPtrKind,
75
76
}
76
77
77
78
impl CastError {
@@ -272,9 +273,10 @@ impl CastCheck {
272
273
273
274
match ( src_kind, dst_kind) {
274
275
( Some ( PointerKind :: Error ) , _) | ( _, Some ( PointerKind :: Error ) ) => Ok ( ( ) ) ,
275
- ( _, None ) => Err ( CastError :: UnknownCastPtrKind ) ,
276
+ // (_, None) => Err(CastError::UnknownCastPtrKind),
277
+ // (None, _) => Err(CastError::UnknownExprPtrKind),
278
+ ( _, None ) | ( None , _) => Ok ( ( ) ) ,
276
279
( _, Some ( PointerKind :: Thin ) ) => Ok ( ( ) ) ,
277
- ( None , _) => Err ( CastError :: UnknownExprPtrKind ) ,
278
280
( Some ( PointerKind :: Thin ) , _) => Err ( CastError :: SizedUnsizedCast ) ,
279
281
( Some ( PointerKind :: VTable ( src_tty) ) , Some ( PointerKind :: VTable ( dst_tty) ) ) => {
280
282
let principal = |tty : & Binders < QuantifiedWhereClauses > | {
@@ -315,7 +317,8 @@ impl CastCheck {
315
317
expr_ty : & Ty ,
316
318
) -> Result < ( ) , CastError > {
317
319
match pointer_kind ( expr_ty, table) . map_err ( |_| CastError :: Unknown ) ? {
318
- None => Err ( CastError :: UnknownExprPtrKind ) ,
320
+ // None => Err(CastError::UnknownExprPtrKind),
321
+ None => Ok ( ( ) ) ,
319
322
Some ( PointerKind :: Error ) => Ok ( ( ) ) ,
320
323
Some ( PointerKind :: Thin ) => Ok ( ( ) ) ,
321
324
_ => Err ( CastError :: NeedViaThinPtr ) ,
@@ -328,7 +331,8 @@ impl CastCheck {
328
331
cast_ty : & Ty ,
329
332
) -> Result < ( ) , CastError > {
330
333
match pointer_kind ( cast_ty, table) . map_err ( |_| CastError :: Unknown ) ? {
331
- None => Err ( CastError :: UnknownCastPtrKind ) ,
334
+ // None => Err(CastError::UnknownCastPtrKind),
335
+ None => Ok ( ( ) ) ,
332
336
Some ( PointerKind :: Error ) => Ok ( ( ) ) ,
333
337
Some ( PointerKind :: Thin ) => Ok ( ( ) ) ,
334
338
Some ( PointerKind :: VTable ( _) ) => Err ( CastError :: IntToFatCast ) ,
@@ -343,7 +347,8 @@ impl CastCheck {
343
347
cast_ty : & Ty ,
344
348
) -> Result < ( ) , CastError > {
345
349
match pointer_kind ( cast_ty, table) . map_err ( |_| CastError :: Unknown ) ? {
346
- None => Err ( CastError :: UnknownCastPtrKind ) ,
350
+ // None => Err(CastError::UnknownCastPtrKind),
351
+ None => Ok ( ( ) ) ,
347
352
Some ( PointerKind :: Error ) => Ok ( ( ) ) ,
348
353
Some ( PointerKind :: Thin ) => Ok ( ( ) ) ,
349
354
_ => Err ( CastError :: IllegalCast ) ,
0 commit comments