11. Annotations and Contracts

Function annotations, compile-time contracts, type traits, deferred execution, and other compile-time utilities.