[SR-5602] Where clause for associated types permits non-existing associated types #48174
Description
| Previous ID | SR-5602 |
| Radar | None |
| Original Reporter | @jepers |
| Type | Bug |
| Status | Closed |
| Resolution | Duplicate |
Environment
Xcode 9 beta 4, snapshot 2017-07-29
Additional Detail from JIRA
| Votes | 0 |
| Component/s | |
| Labels | Bug |
| Assignee | None |
| Priority | Medium |
md5: 6ea71a7c804426cb0ef9d21d965824c8
duplicates:
- SR-5579 Associated type where-constraint typo still compiles
Issue Description:
The following program compiles:
protocol P {
associatedtype A where A.AnythingIsAcceptedHere == Bool
}
This is just a simple example (ie the issue is not restricted to for example same-type constraints or Bool in particular).