class C(val p: Boolean) { }

fun box(): String {
  val c = C(true)
  return when(c) {
    .p => "OK"
    else => "fail"
  }
}