JetBrains/kotlin — pull request #150 by pechlambda (2012-12-19 19:49:45+00:00)
Title: KT-3159 Disallow overriding var with different type #KT-3159 fixed

This changes fix the issue. But:

it uses the same RETURN_TYPE_MISMATCH_ON_OVERRIDE error. It's message states that "Return type of 'v' is not a subtype of super's 'v'", what is, obviously, not true in this case. Any suggestions?

Thank you.