[[型パラメーター (Rust)|型パラメーター]]に[[型引数 (Rust)|型引数]]が指定されていない場合、デフォルトとして扱う[[型引数 (Rust)|型引数]]のこと。
以下の`String`がそれにあたる。
```rust
trait Say<T=String> {
fn hello(&self) -> T;
}
```
[[型パラメーター (Rust)|型パラメーター]]に[[型引数 (Rust)|型引数]]を指定しないと以下のようになる。
```rust
impl Say for ... {
fn hello(&self) -> String { ... }
}
```
[[型引数 (Rust)|型引数]]を指定すれば以下のようになる。
```rust
impl Say<i32> for ... {
fn hello(&self) -> i32 { ... }
}
```