Bug 4517 – final switch over with base type allows missing values

module finalswitch; enum foo : ushort { A = 1, B = 3 } void bar(foo f) { final switch(f) { case foo.A: break; } } This compiles without error: $ dmd -c finalswitch.d $ Dropping the ': ushort' part and it correctly identifies the missing case: $ dmd -c finalswitch.d finalswitch.d(11): Error: enum member B not represented in final switch

*** Issue 7320 has been marked as a duplicate of this issue. ***

This bug takes place if the enum base type is [u]byte, [u]short, [w|d]char, or an enum with one of these types as a base type.

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/ef6d2e16bebb7c4a0a17eb2c34af2657c9996b38 Issue 4517 - final switch over with base type allows missing values Integral promotions kills the type of the condition and the case expressions, so keep track of the original enum type and allow cases to match if they evaluate to the same integer expression. Fixes issue4517 https://github.com/D-Programming-Language/dmd/commit/00778d310b6980ac7068398f4dac22aa4860b8d4 Merge pull request #662 from yebblies/issue4517 Issue 4517 - final switch over with base type allows missing values