Pavel Yaskevich 62ba74950c [Diagnostics] Diagnose conflicting pattern variables ...

Diagnose situations where pattern variables with the same name
have conflicting types:

```swift
enum E {
case a(Int)
case b(String)
}

func test(e: E) {
  switch e {
  case .a(let x), .b(let x): ...
  }
}
```

In this example `x` is bound to `Int` and `String` at the same
time which is incorrect.

2022-06-03 16:31:27 -07:00

93 KiB

Raw Blame History

View Raw