16.2.13 try Statements

• V is definitely assigned after a try statement iff one of the following is true:
  • V is definitely assigned after the try block and V is definitely assigned after every catch block in the try statement.
  • The try statement has a finally block and V is definitely assigned after the finally block.
• V is definitely assigned before the try block iff V is definitely assigned before the try statement.
• V is definitely assigned before a catch block iff V is definitely assigned before the try statement.

V is definitely assigned before a finally block iff V is definitely assigned before the try statement.

I resolved to assign Bartleby a corner by the folding doors . . .
—Herman Melville, Bartleby, the Scrivener (1853)

It does not strike me that there is anything definite about that.
—Herman Melville, Bartleby, the Scrivener (1853)