Constraints and concepts

This page describes an experimental core language feature. For named type requirements used in the specification of the standard library, see named requirements