9 ms·

Can the compiler perform sufficiently deep static analysis to cover all possible cases? At least in Java it is by definition impossible.

• Akronymus 1y ago
  I don't see why not. If it's in a finally block, disallow control flow. Or am I missing something?
• taneq 1y ago
  If it's that hard to figure out what the code should do by looking at, then it's probably not a great thing to allow in the language.