Why does the following code works?

```
func square(_ x: Int) -> Int {
  fatalError()
}

```

fatalError() never returns anything (or rather it returns Never). Why would the type system not catch an issue here that the func does not return an Int even though it says it would?