Allow any int in switch condition layout

This commit is contained in:
Ayaz Hafiz 2022-12-14 11:52:54 -06:00
parent f0b3c3eb08
commit a295e7ac3d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -281,7 +281,7 @@ impl<'a, 'r> Ctx<'a, 'r> {
} => {
self.check_sym_layout(*cond_symbol, *cond_layout, UseKind::SwitchCond);
match self.resolve(*cond_layout) {
Layout::Builtin(Builtin::Int(int_width)) if !int_width.is_signed() => {}
Layout::Builtin(Builtin::Int(_)) => {}
Layout::Builtin(Builtin::Bool) => {}
_ => self.problem(ProblemKind::BadSwitchConditionLayout {
found_layout: *cond_layout,