# A block-form `if`/`match` in the places a statement keeps a sub-expression:
# a condition, a subject, an iterable, a filter, a `return`. Each is followed
# by something -- a body, the `case` clauses, a `do`, the end of the line --
# that a bare block form would swallow.

enum E(A{q:Int})

func inc(v:Int -> Int)
    return v + 1

func dec(v:Int -> Int)
    return v - 1

func chosen(c:Bool -> Int)
    return (
        if c
            111111111111111111 + 2222222222222222 + 33333333333333333 + 4444444444444
        else
            2
    )

func main()
    xs := [1, 2, 3]
    e := E.A{1}
    # The callee of a call is a receiver like any other:
    >> (if yes then inc else dec)(5)
    if (
        if yes
            111111111111111111 + 2222222222222222 + 33333333333333333 + 444444444444 > 0
        else
            no
    )
        say("condition")

    while (
        if yes
            111111111111111111 + 2222222222222222 + 33333333333333333 + 444444444444 < 0
        else
            no
    )
        stop

    for v in (
        if yes
            [111111111111111111, 2222222222222222, 33333333333333333, 4444444444444444]
        else
            xs
    )
        say("$v")

    >> [
        (v for v in (
            if yes
                [111111111111111111, 2222222222222222, 33333333333333333, 4444444444444444]
            else
                xs
        )),
    ]

func no_silent_loss()
    # A lambda with no one-line form used to vanish here: termify_inline()
    # dropped the "there is no inline form" answer on the floor and printed
    # the empty parentheses that were left.
    x := (
        func(y:Int -> Int)
            z := y + 1
            return z
    ).serialized()

    return x