General-purpose inter-procedural flow typing will ...

# language-proposals

[dmitry.petrov]

General-purpose inter-procedural flow typing will most likely be VERY slow. Definitely not something we want.