0358デフォルトの名無しさん垢版 | 大砲2024/03/21(木) 21:05:14.02ID:7RDAu5V5 NonZeroとかNonNullみたいな固定条件ならいいけど 範囲みたいな可変条件だと型だけじゃ厳しいでしょ 別の条件で作られた同じ型の値を使われるかもしれないし ライフタイムで条件と関連付けるのも限界がある 結局テストパターン増やしてdebug_assert踏むしかない