67b24939cd
Some of the high level changes are: * visit catch body, fixes #463 * handle temps created by the compiler. These were in some cases treated incorrectly as non-null (see tests diff) * compute nullable in the same pass as visiting assignments * simplify visiting += and ++, fix ++ (it was dead code, #463) * simplify _isNullable * if we fail to see a variable declaration, treat it as nullable * stack trace in catch is treated as non-null R=vsm@google.com Review URL: https://codereview.chromium.org/1751963002 .