plugins/power-assert/testData/codegen/expressions/IfExpression.box.txt

---
assert(if (a < b) a == b else if (b < a) b == a else false)
           | | |                  | | |  | |  |
           | | |                  | | |  | |  2
           | | |                  | | |  | false
           | | |                  | | |  1
           | | |                  | | 2
           | | |                  | true
           | | |                  1
           | | 1
           | false
           2
---
---
assert(if (a < b) a == b else if (b < a) b == a else false)
           | | |  | |  |
           | | |  | |  2
           | | |  | false
           | | |  1
           | | 2
           | true
           1
---
---
assert(if (a < b) a == b else if (b < a) b == a else false)
           | | |                  | | |
           | | |                  | | 1
           | | |                  | false
           | | |                  1
           | | 1
           | false
           1
---
---
assert(a + (if (a < b) a else b) + b == a)
       | |      | | |  |         | | |  |
       | |      | | |  |         | | |  1
       | |      | | |  |         | | false
       | |      | | |  |         | 2
       | |      | | |  |         4
       | |      | | |  1
       | |      | | 2
       | |      | true
       | |      1
       | 2
       1
---
---
assert(a + (if (a < b) a else b) + b == a)
       | |      | | |         |  | | |  |
       | |      | | |         |  | | |  2
       | |      | | |         |  | | false
       | |      | | |         |  | 1
       | |      | | |         |  4
       | |      | | |         1
       | |      | | 1
       | |      | false
       | |      2
       | 3
       2
---
---
assert(
    when {
        a < b -> a == b
        | | |
        | | 1
        | false
        2

        b < a -> b == a
        | | |    | |  |
        | | |    | |  2
        | | |    | false
        | | |    1
        | | 2
        | true
        1

        else -> false
    }
)
---
---
assert(
    when {
        a < b -> a == b
        | | |    | |  |
        | | |    | |  2
        | | |    | false
        | | |    1
        | | 2
        | true
        1

        b < a -> b == a
        else -> false
    }
)
---
---
assert(
    when {
        a < b -> a == b
        | | |
        | | 1
        | false
        1

        b < a -> b == a
        | | |
        | | 1
        | false
        1

        else -> false
    }
)
---
---
assert(
    initial && when {
    |
    true

        a < b -> a == b
        | | |
        | | 1
        | false
        2

        b < a -> b == a
        | | |    | |  |
        | | |    | |  2
        | | |    | false
        | | |    1
        | | 2
        | true
        1

        else -> false
    }
)
---
---
assert(
    initial && when {
    |
    true

        a < b -> a == b
        | | |    | |  |
        | | |    | |  2
        | | |    | false
        | | |    1
        | | 2
        | true
        1

        b < a -> b == a
        else -> false
    }
)
---
---
assert(
    initial && when {
    |
    true

        a < b -> a == b
        | | |
        | | 1
        | false
        1

        b < a -> b == a
        | | |
        | | 1
        | false
        1

        else -> false
    }
)
---
---
assert(
    initial && when {
    |
    false

        a < b -> a == b
        b < a -> b == a
        else -> false
    }
)
---