New Feature: Type analyzer now infers a function return type of "NoReturn" if function doesn't return any value and always raises an exception. Methods marked @AbstractMethod are exempt. An explicit return type annotation always overrides this inference.
Bug Fix: Fixed logic for try/except/else/finally statements to properly handle code flow analysis. The previous implementation was incorrectly identifying unreachable code.
Bug Fix: Type analyzer wasn't correctly inferring type of set when a set comprehension was used.