穷尽when Exhaustive when

各分支覆盖主题所有可能值的when表达式。