Kush's Wiki

トレイト制約

trait bound

ある型があるトレイトの振る舞いを満たすかの制約をコンパイル時に定義する