//$FALL-THROUGH$
should suppress "possible fall-through into case"
#916
Labels
bug
Something isn't working
eg. I see this sort of thing in the JDT core code-base
Currently, an error "possible fall-through into case" is reported on the entire
BBB
case block://$FALL-THROUGH
is used to indicate that the fall-through was intentional, so it would be nice to suppress the warning if we encounter//$FALL-THROUGH
.The text was updated successfully, but these errors were encountered: