data class X(val prop: Int)

fun fn(x: X) {
    1 - x.prop + 2
}