メソッドを定義したトレイトを指定することによるメソッド呼び出しの曖昧性排除。そのメソッドが定義された型を指定することによるメソッド呼び出しの曖昧性排除。型を指定することによるメソッド呼び出しの曖昧性排除。ジェネリック型のパラメータの指定。ジェネリック型あるいは関数、メソッドの型の指定。ジェネリック関数を定義。ジェネリック構造体を定義。ジェネリック列挙型を定義。ジェネリック実装を定義。高階ライフタイム境界。1つ以上の関連型について指定のあるジェネリック型。