Open mdekstrand opened 9 years ago
If both a skippable default and a deferral are used together, the result is very poorly defined. We should detect and warn in this case.
If both a skippable default and a deferral are used together, the result is very poorly defined. We should detect and warn in this case.