Requires expression

Also written: requires

A `requires(const T& t) { ... }` block listing code that must compile for a type. It's how `Priced` demands a `cents()` member.