https://forums.swift.org/t/compile-time-values-and-integer-generics/79342

1:17 PM

コンパイル時定数についての議論

1:18 PM

型システムレベルではジェネリック整数パラメータは不透明であり常に同じ型であると見做すようにする

1:18 PM

これは @const をつけたコンパイル時定数が、コンパイル時であっても計算の結果であって、

1:20 PM

型チェックの時点だと値が得られないため

1:22 PM

ただし型チェックの後のステージでコンパイル時整数値に関する診断は行うし、ランタイムレベルでは個別の値によって異なる型とされる