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

**URL:** <https://forums.swift.org/t/should-this-program-really-compile-is-the-where-clause-ignored/22995>\
**Category:** Using Swift\
**Created:** [April 12, 2019, 9:56am UTC](https://forums.swift.org/t/should-this-program-really-compile-is-the-where-clause-ignored/22995 "2019-04-12T09:56:36Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![DevAndArtist](https://sea2.discourse-cdn.com/swift/user_avatar/forums.swift.org/devandartist/32/287_2.png) [@DevAndArtist](https://forums.swift.org/u/DevAndArtist)\
**Post date:** [April 12, 2019, 10:02am UTC](https://forums.swift.org/t/should-this-program-really-compile-is-the-where-clause-ignored/22995/2 "2019-04-12T10:02:50Z")

</div>

I think this is the same inference issue I asked [here](https://forums.swift.org/t/what-kind-of-magic-behavior-is-this/22014) about, I smell that the `where` clause is completely ignored. 😢

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

```

---

_[View the full topic](https://forums.swift.org/t/should-this-program-really-compile-is-the-where-clause-ignored/22995)._