KT-11018 Ctrl + Mouse Hover shows a var as val

#KT-11018 Fixed

idea/testData/resolve/partialBodyResolve/AnonymousObjects.completion

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String?
+Resolve target: value-parameter p: kotlin.String?
 ----------------------------------------------
 open class C(p: Int) {
     open fun f(){}

idea/testData/resolve/partialBodyResolve/AnonymousObjects.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String?
+Resolve target: value-parameter p: kotlin.String?
 ----------------------------------------------
 open class C(p: Int) {
     open fun f(){}

idea/testData/resolve/partialBodyResolve/As.completion

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: Any, p1: Any?) {
     x(e.f as String)

idea/testData/resolve/partialBodyResolve/As.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: Any, p1: Any?) {
     /* STATEMENT DELETED: x(e.f as String) */

idea/testData/resolve/partialBodyResolve/BangBang.completion

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?, p1: Any?) {
     x(e.f!!)

idea/testData/resolve/partialBodyResolve/BangBang.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?, p1: Any?) {
     /* STATEMENT DELETED: x(e.f!!) */

idea/testData/resolve/partialBodyResolve/BangBangInIfCondition.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Boolean? smart-cast to kotlin.Boolean
+Resolve target: value-parameter p: kotlin.Boolean? smart-cast to kotlin.Boolean
 ----------------------------------------------
 fun foo(p: Boolean?, p1: Any?) {
     if (p!!) {

idea/testData/resolve/partialBodyResolve/DoWhile.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(p: Any?) {
     do {

idea/testData/resolve/partialBodyResolve/Elvis.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p1: kotlin.Any?
+Resolve target: value-parameter p1: kotlin.Any?
 ----------------------------------------------
 fun foo(p1: Any?, p2: Any) {
     /* STATEMENT DELETED: print(p1 ?: p2) */

idea/testData/resolve/partialBodyResolve/ElvisReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(p: Any?) {
     print(p ?: return)

idea/testData/resolve/partialBodyResolve/For2.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.String
 ----------------------------------------------
 fun x(s: String): Collection<String>{}
 

idea/testData/resolve/partialBodyResolve/IfBranchesAutoCasts2.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p1: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p1: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(p: Any?, p1: Any?, p2: Any?) {
     if (x()) {

idea/testData/resolve/partialBodyResolve/IfBranchesSmartCast.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val o: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter o: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(o: Any?, p: Int) {
     if (p > 0) {

idea/testData/resolve/partialBodyResolve/IfCallWithConditionReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any?
+Resolve target: value-parameter p: kotlin.Any?
 ----------------------------------------------
 fun foo(p: Any?) {
     /* STATEMENT DELETED: if (x(p == null)) { print("returned true") return } */

idea/testData/resolve/partialBodyResolve/IfEqAutoCast.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val o: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter o: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(o: String?, o1: String) {
     if (o != o1) return

idea/testData/resolve/partialBodyResolve/IfIsReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any?
+Resolve target: value-parameter p: kotlin.Any?
 ----------------------------------------------
 fun foo(p: Any?) {
     /* STATEMENT DELETED: if (p is String) return */

idea/testData/resolve/partialBodyResolve/IfNegatedNotNullReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(p: Any?) {
     if (!(p != null)) return

idea/testData/resolve/partialBodyResolve/IfNotIsError.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: Any) {
     if (p !is String) {

idea/testData/resolve/partialBodyResolve/IfNotIsErrorQualifier.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: Any) {
     if (p !is String) {

idea/testData/resolve/partialBodyResolve/IfNotIsErrorVariable.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any
+Resolve target: value-parameter p: kotlin.Any
 ----------------------------------------------
 val error = "error"
 fun foo(p: Any) {

idea/testData/resolve/partialBodyResolve/IfNotIsMyError.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 fun myError(): Nothing = throw Exception()
 

idea/testData/resolve/partialBodyResolve/IfNotIsMyErrorWithAliasImport.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 import kotlin.Nothing as MyNothing
 

idea/testData/resolve/partialBodyResolve/IfNotIsNothingProp.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 val prop: Nothing
     get() = throw Exception()

idea/testData/resolve/partialBodyResolve/IfNotIsReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: Any?) {
     if (p !is String) {

idea/testData/resolve/partialBodyResolve/IfNotIsThrow.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.Any smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: Any) {
     if (p !is String) {

idea/testData/resolve/partialBodyResolve/IfNotNullElseReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(p: Any?) {
     if (p != null) {

idea/testData/resolve/partialBodyResolve/IfNullAlwaysExits.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?, x: Boolean, y: Boolean, z: Boolean, t: Boolean) {
     if (p == null) {

idea/testData/resolve/partialBodyResolve/IfNullAndNullReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p1: kotlin.Any?
+Resolve target: value-parameter p1: kotlin.Any?
 ----------------------------------------------
 fun foo(p1: Any?, p2: Any?) {
     /* STATEMENT DELETED: if (p1 == null && p2 == null) { print("2 null's") return } */

idea/testData/resolve/partialBodyResolve/IfNullElseReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any?
+Resolve target: value-parameter p: kotlin.Any?
 ----------------------------------------------
 fun foo(p: Any?) {
     /* STATEMENT DELETED: if (p == null) { print("null") } else { return } */

idea/testData/resolve/partialBodyResolve/IfNullOrNullReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p1: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p1: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(p1: Any?, p2: Any?) {
     if (p1 == null || p2 == null) {

idea/testData/resolve/partialBodyResolve/IfNullPrint.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any?
+Resolve target: value-parameter p: kotlin.Any?
 ----------------------------------------------
 fun foo(p: Any?) {
     /* STATEMENT DELETED: if (p == null) { print("null") } */

idea/testData/resolve/partialBodyResolve/IfNullReturn.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun foo(p: Any?) {
     if (p == null) {

idea/testData/resolve/partialBodyResolve/LambdaInCurrentStatement.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val c: kotlin.collections.Collection<kotlin.String>
+Resolve target: value-parameter c: kotlin.collections.Collection<kotlin.String>
 ----------------------------------------------
 fun foo(c: Collection<String>): Collection<String> {
     return <caret>c.filter {

idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing1.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?) {
     val lambda = { () -> throw Exception() }

idea/testData/resolve/partialBodyResolve/LambdaReturnsNothing2.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?, errorHandler: () -> Nothing) {
     if (p == null) {

idea/testData/resolve/partialBodyResolve/LocalClass.completion

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String?
+Resolve target: value-parameter p: kotlin.String?
 ----------------------------------------------
 fun foo(p: String?) {
     class LocalClass {

idea/testData/resolve/partialBodyResolve/LocalClass.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String?
+Resolve target: value-parameter p: kotlin.String?
 ----------------------------------------------
 fun foo(p: String?) {
     /* STATEMENT DELETED: class LocalClass { fun f(): String? { if (p == null) return null print(p.size) return "" } } */

idea/testData/resolve/partialBodyResolve/LocalFun.completion

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String?
+Resolve target: value-parameter p: kotlin.String?
 ----------------------------------------------
 fun foo(p: String?) {
     fun local(): String? {

idea/testData/resolve/partialBodyResolve/LocalFun.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String?
+Resolve target: value-parameter p: kotlin.String?
 ----------------------------------------------
 fun foo(p: String?) {
     /* STATEMENT DELETED: fun local(): String? { if (p == null) return null print(p.size) return "" } */

idea/testData/resolve/partialBodyResolve/LocalNothingFun.completion

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?, p1: Any?) {
     if (p1 == null) return

idea/testData/resolve/partialBodyResolve/LocalNothingFun.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?, p1: Any?) {
     /* STATEMENT DELETED: if (p1 == null) return */

idea/testData/resolve/partialBodyResolve/MutliDeclaration.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val b: kotlin.String?
+Resolve target: value-parameter b: kotlin.String?
 ----------------------------------------------
 data class TestData(val first: Int, val second: String?)
 

idea/testData/resolve/partialBodyResolve/ReturnLambda.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.String? smart-cast to kotlin.String
+Resolve target: value-parameter p: kotlin.String? smart-cast to kotlin.String
 ----------------------------------------------
 fun foo(p: String?): () -> String {
     if (p == null) {

idea/testData/resolve/partialBodyResolve/Simple.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Int
+Resolve target: value-parameter p: kotlin.Int
 ----------------------------------------------
 fun foo(p: Int) {
     /* STATEMENT DELETED: x() */

idea/testData/resolve/partialBodyResolve/SmartCastInTheSameStatement.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val s: kotlin.String?
+Resolve target: value-parameter s: kotlin.String?
 ----------------------------------------------
 fun foo(s: String?, b1: Boolean, b2: Boolean) {
     x(

idea/testData/resolve/partialBodyResolve/SmartCastPointsResolveRequired1.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val x: kotlin.Any?
+Resolve target: value-parameter x: kotlin.Any?
 ----------------------------------------------
 fun foo(x: Any?, p: Int) {
     if (p > 0) {

idea/testData/resolve/partialBodyResolve/SmartCastPointsResolveRequired2.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val x: kotlin.Any?
+Resolve target: value-parameter x: kotlin.Any?
 ----------------------------------------------
 fun foo(x: Any?) {
     if (x == null) {

idea/testData/resolve/partialBodyResolve/While.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun x(s: Any): Boolean{}
 

idea/testData/resolve/partialBodyResolve/WhileTrue.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any? smart-cast to kotlin.Any
+Resolve target: value-parameter p: kotlin.Any? smart-cast to kotlin.Any
 ----------------------------------------------
 fun x(): Boolean{}
 

idea/testData/resolve/partialBodyResolve/WhileTrueCondition.dump

@@ -1,4 +1,4 @@
-Resolve target: value-parameter val p: kotlin.Any?
+Resolve target: value-parameter p: kotlin.Any?
 ----------------------------------------------
 // this test will fail if control flow analysis will start to produce smart-casts after "while(2 * 2 == 4)"