As I said, it should be probably considered a bug ...

# announcements

[altavir]

As I said, it should be probably considered a bug and reported to JetBrains. Of course, statements like val x = null should never be used, but it should be covered in specification and treated respectively.