> Line null safety, unreachable code analysis i...

# announcements

[ilya.gorbunov]

Line null safety, unreachable code analysis is not implemented by ad-hoc, special-case checks in the IDE and compiler, as it has to be in Java. It’s a function of the type system.

I believe unreachable code analysis covers several cases, one of which is code after evaluating expression of Nothing type. So it's not only a function of the type system.