Refine warning messages for KT-36770

^KT-36770 Fixed

compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/DefaultErrorMessagesJvm.java

@@ -108,14 +108,17 @@ public class DefaultErrorMessagesJvm implements DefaultErrorMessages.Extension {
                 NAME
         );
         MAP.put(RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS,
-                "Unsafe use of a nullable receiver of type {0}. See https://youtrack.jetbrains.com/issue/KT-36770 for details", RENDER_TYPE);
+                "Unsafe use of a nullable receiver of type {0}", RENDER_TYPE);
 
         MAP.put(WRONG_NULLABILITY_FOR_JAVA_OVERRIDE,
-                "Override ''{0}'' has incorrect nullability in its signature comparing with overridden ''{1}''", COMPACT, COMPACT);
+                "Override ''{0}'' has incorrect nullability in its signature comparing with overridden ''{1}''" +
+                "This warning will become an error soon. " +
+                "See https://youtrack.jetbrains.com/issue/KT-36770 for details", COMPACT, COMPACT);
 
         MAP.put(WRONG_TYPE_PARAMETER_NULLABILITY_FOR_JAVA_OVERRIDE,
                 "Type parameter ''{0}'' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. " +
-                "Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds for more details",
+                "Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. " +
+                "This warning will become an error soon.",
                 NAME);
 
         MAP.put(ANNOTATION_TARGETS_NON_EXISTENT_ACCESSOR,

compiler/testData/cli/jvm/jspecifyByLv15.out

@@ -1,7 +1,7 @@
 compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: warning: type mismatch: inferred type is Nothing? but String was expected
     a.foo(null)
           ^
-compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?. See https://youtrack.jetbrains.com/issue/KT-36770 for details
+compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?
     a.bar().hashCode()
     ^
 OK

compiler/testData/cli/jvm/jspecifyByLv16.out

@@ -1,7 +1,7 @@
 compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: warning: type mismatch: inferred type is Nothing? but String was expected
     a.foo(null)
           ^
-compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?. See https://youtrack.jetbrains.com/issue/KT-36770 for details
+compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?
     a.bar().hashCode()
     ^
 OK

compiler/testData/cli/jvm/jspecifyDefault.out

@@ -1,7 +1,7 @@
 compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: warning: type mismatch: inferred type is Nothing? but String was expected
     a.foo(null)
           ^
-compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?. See https://youtrack.jetbrains.com/issue/KT-36770 for details
+compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?
     a.bar().hashCode()
     ^
 OK

compiler/testData/cli/jvm/jspecifyWarn.out

@@ -1,7 +1,7 @@
 compiler/testData/cli/jvm/jspecifyUsage.kt:2:11: warning: type mismatch: inferred type is Nothing? but String was expected
     a.foo(null)
           ^
-compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?. See https://youtrack.jetbrains.com/issue/KT-36770 for details
+compiler/testData/cli/jvm/jspecifyUsage.kt:3:5: warning: unsafe use of a nullable receiver of type String?
     a.bar().hashCode()
     ^
 OK

compiler/testData/cli/jvm/jsr305MigrationFqNameIgnore.out

@@ -1,7 +1,7 @@
 compiler/testData/cli/jvm/jsr305Migration.kt:2:19: warning: type mismatch: inferred type is Nothing? but String was expected
     annotated.foo(null)
                   ^
-compiler/testData/cli/jvm/jsr305Migration.kt:4:5: warning: unsafe use of a nullable receiver of type String?. See https://youtrack.jetbrains.com/issue/KT-36770 for details
+compiler/testData/cli/jvm/jsr305Migration.kt:4:5: warning: unsafe use of a nullable receiver of type String?
     annotated.nullable().length
     ^
 OK

compiler/testData/cli/jvm/jsr305MigrationIgnore.out

@@ -1,7 +1,7 @@
 compiler/testData/cli/jvm/jsr305Migration.kt:2:19: warning: type mismatch: inferred type is Nothing? but String was expected
     annotated.foo(null)
                   ^
-compiler/testData/cli/jvm/jsr305Migration.kt:4:5: warning: unsafe use of a nullable receiver of type String?. See https://youtrack.jetbrains.com/issue/KT-36770 for details
+compiler/testData/cli/jvm/jsr305Migration.kt:4:5: warning: unsafe use of a nullable receiver of type String?
     annotated.nullable().length
     ^
 OK

compiler/testData/cli/jvm/jsr305MigrationWarn.out

@@ -4,7 +4,7 @@ compiler/testData/cli/jvm/jsr305Migration.kt:2:19: warning: type mismatch: infer
 compiler/testData/cli/jvm/jsr305Migration.kt:3:19: warning: type mismatch: inferred type is Nothing? but String was expected
     annotated.bar(null)
                   ^
-compiler/testData/cli/jvm/jsr305Migration.kt:4:5: warning: unsafe use of a nullable receiver of type String?. See https://youtrack.jetbrains.com/issue/KT-36770 for details
+compiler/testData/cli/jvm/jsr305Migration.kt:4:5: warning: unsafe use of a nullable receiver of type String?
     annotated.nullable().length
     ^
 OK

compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.diag.txt

@@ -1,12 +1,12 @@
-/main.kt:23:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds for more details
+/main.kt:23:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun takeV(x: X)
     ^
-/main.kt:24:5: warning: type parameter 'E1' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds for more details
+/main.kt:24:5: warning: type parameter 'E1' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun <E1> takeE(e: E1)
     ^
-/main.kt:26:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds for more details
+/main.kt:26:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun takeVList(l: List<X>)
     ^
-/main.kt:27:5: warning: type parameter 'E2' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds for more details
+/main.kt:27:5: warning: type parameter 'E2' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon.
     override fun <E2> takeEList(l2: List<E2>)
     ^