never
1 parent 9f9e194 commit 5850c64Copy full SHA for 5850c64
1 file changed
src/ty/mod.rs
@@ -293,6 +293,7 @@ impl IntegerKind {
293
(Self::Any, Type::U8 | Type::I8)
294
| (Self::Signed, Type::I8)
295
| (Self::Unsigned, Type::U8 | Type::I8)
296
+ | (_, Type::Never) // Allow never to propagate.
297
)
298
}
299
0 commit comments