[VISUALIZER] Change rendering of equals call

This commit is contained in:
Ivan Kylchik
2021-02-20 16:34:43 +03:00
committed by TeamCityServer
parent dd8a7010f0
commit 59416f447e
11 changed files with 22 additions and 18 deletions
@@ -6,7 +6,7 @@ fun test1(s: String?) contract [returnsNotNull()] {
// [ERROR: not resolved]
// │ [ERROR: not resolved]
// │ │ test1.s: String?
// │ │ │ fun (Any).equals(Any?): Boolean
// │ │ │ EQ operator call
// │ │ │ │ Nothing?
// │ │ │ │ │
returns() implies (s != null)
@@ -21,7 +21,7 @@ enum class SomeEnum(val x: Some) {
SECOND(O2) {
// Boolean
// │ SomeEnum.SECOND.check.y: Some
// │ │ fun (Any).equals(Any?): Boolean
// │ │ EQ operator call
// │ │ │ object O2: Some
// │ │ │ │
override fun check(y: Some): Boolean = y == O2