mirror of
https://github.com/apple/swift.git
synced 2026-10-28 21:15:56 +01:00
Kavon Farvardin
d46a86e5b1
A requirement defines the maximal effects that a witness can have. In some cases, we'd fail to properly reject such a witness with more effects, when that witness is valid for another requirement within that protocol. Thus, we'd hit an assertion failure in that case rather than permitting the valid program to compile. In a non-asserts compiler, we could end up failing to diagnose an invalid chosen witness and crash in IRGen. https://github.com/apple/swift/issues/73479 rdar://127669069