Constraint propagation failure

[dabrahams]

At f6ee33caa, this should compile:

extension Array {
  init<C: Collection where C.Element == Element>(foo: Int) {
    self = Array() // error: type 'Element' does not conform to trait 'SemiRegular'
  }
}