Specializing Generics with Where Clauses

You will be able to add complex logical constraints to generic definitions to refine how types interact.