Summary

Currently, a unique case statement without a default case results in a linter warning to Explicitly define a default case for every case statement. However, the unique case statement is a guarantee from the programmer that exactly one case is guaranteed to be true at all times, thus allowing synthesis optimizations. By adding a default case, these synthesis optimizations may not be performed.

Proposal

Proposal is to remove the default case lint warning when using a unique case statement.