I guess this is related since it gets at the root ...
# javascriptd
Daan
10/21/2019, 2:24 PMI guess this is related since it gets at the root of the problem: https://youtrack.jetbrains.com/issue/KT-24784
b
bashor
10/21/2019, 7:06 PMOf course performance is important but correctness is more important (usually). We ready to help to improve it in our side or in your side but we need examples.
bashor
10/21/2019, 7:07 PMWith new compiler backend we going to introduce at least prod and dev modes where we will have different guarantees (and amount of explicit checks). And with close world assumption we will able to make more advanced optimizations, including for type checks. Stay tuned!
K 2