pub fn case<const N: usize, Cond, Then>( cases: impl Into<[WhenThen<Cond, Then>; N]>, ) -> Case<N, Cond, Then>