Analyzer skips an obvious error and application crashes in a runtime

Language Design
2

Reproduced only with the experimental new inference and reported https://youtrack.jetbrains.com/issue/KT-30808. If you feel that your case is actually different, please file a separate issue at http://kotl.in/issue. Thanks.