>>23
It works by keeping track of any lexically enclosing statement that is looking for an else clause, so if an else clause is found for the current statement without a following { }, then it is marked as illegal.
As far as I know, no other language has implemented this solution, though GCC does check for a subset. I think it's great that there is still room for better solutions to ancient programming problems.