swift234

Clamp down on the types specified in requirements clauses a bit. The
subject of a conformance constraint (e.g., T : Foo) and both types of
a same-type constraint need to be generic parameters of nested types
thereof. The latter actually prohibits code like, e.g.,

  func f<R : Range requires R.Element == Int>()

which is something we may very well want to bring back into the
language in the future.


Swift SVN r2411