実装はできるけど、↓になるという意味。 let nonEmpty = [42] let maybeEmpty: [Int] = nonEmpty // コンパイルエラー