Traits, Generics & Dispatch

Defining & Implementing a Trait

Write a trait with a default method and override it.

Trait Bounds & where Clauses

Constrain a generic so the body compiles, without over-constraining it.

Associated Types vs Generic Parameters

Choose correctly between them, and say why Iterator uses one and not the other.

Static Dispatch & Monomorphization

Explain what the compiler emits for a generic function, and what it costs.

Trait Objects & the Vtable

Store mixed types behind Box<dyn Trait> and name the runtime cost.

Object Safety

Predict which traits can become trait objects before the compiler tells you.

Blanket Impls & the Orphan Rule

Implement a trait for every type that satisfies a bound — and know when you may not.