fn f() {
while a | b | c = d {
}
}