这是Kotlin REPL的错误吗？

Question

I can define a value in Kotlin REPL like this(recursively) without getting an error:

val s: String = s

And now I get an 's' with the type of NotNull but the value of null.
And I can do something with this NotNull value with a NPE:

>>> val s: String = s

>>> s.length
java.lang.NullPointerException

You can try it on your own Kotlin REPL, it works every time.

I am using Kotlin version 1.1.2-3.

Answer 1

Yes, it is a bug of REPL.

In the REAL Kotlin file, it will complain as a "Unresolve reference"

Sorry, I cannot post a img, but you could try at your IDE.

I am using the IntelliJ-IDEA 2017.1.3

Answer 2

Yes, this is a bug.

val s: String = s
print(s.length)

This code compiled successfully but at runtime, it's giving an error.

Error: Unresolved reference: s

---