// WITH_RUNTIME

import java.lang.Math.min

fun foo() {
    1.coerceAtMost(2)
}