コンパイル時に静的にコードをチェックし、警告やエラーを通知してくれます。目の例はステートメントの条件分岐により、そのスコープに到達できるかどうかを判定しています。実行はでき、致命的ではないため、エラーではなく警告が通知されています。句では、ジェネリック型に対する制約が指定されています。エクスペリエンスを実現できるのかを考えてみましょう。つの整数を昇順に並べ替えるメソッド」という単純なものを設定し、どうすればバグのないプログラミングができるかを考えます。並べ替えのメソッドが満たすべき条件は次の通りです。実行結果が意図した順番に並んでいる実行前の値のセットと実行後の値のセットが同じであるそこで、メソッドの実装を始める前に、メソッドのシグネチャでこれらの条件を表現してみます。このプログラムには、架空の機能が含まれます。引数に対する高度な制約。