Should this program really compile (is the where clause ignored)?

Using Swift
2

I think this is the same inference issue I asked here about, I smell that the where clause is completely ignored. :cry:

struct S<T> {
  var a : A
}
extension S where T == Never {
  typealias A = Int
  init() {
    self.a = 42
  }
}
let v = S()
print(v)
1 Like