`when` should align with `case`