CRITICAL: Use for generics, traits, and zero-cost abstraction. Triggers on errors related to trait bounds, `impl`, `dyn`, `where` clauses, monomorphization, static dispatch, dynamic dispatch, and `impl Trait`. Useful for debugging issues with generic code and trait implementations.