Traits as simple constraints (subtyping). Type is assumed if not specified in angle brackets. Ambiguity resolution. Where clause and complex boolean expressions and subtyping between generic types, lifetimes, traits. Variance issues: mutability, functions.

_