この前の↑、やっぱりサブタイピング＆ Smart Cast と相性良さそう。

let array: Array<Int> = [2, 3, 5] guard !(array is NonEmptyArray<Int>) else { return } // ここでは `array` を `NonEmptyArray<Int>` として扱える