for example, if kotlin loaded a dynamic proxy that...

# language-proposals

[groostav]

for example, if kotlin loaded a dynamic proxy that simply threw exceptions for every method that was called on it short of the Object methods (equals, hashcode, and tostring), then we could write

object UNINITIALIZED_VALUE: Nothing by NOTHING_DYNAMIC_PROXY_INSTANCE

and you get all of the afformentioned casting wins