`when` should always be aligned with `case`