Commit Graph

7 Commits

Author SHA1 Message Date
Josh Soref
d4843a0ad2 spelling: method (#58564) 2022-05-27 22:06:54 -07:00
Slava Pestov
6934857417 Sema: Tweak associated conformance exportability diagnostics
Let's point out the associated type with a separate note, so
that we can diagnose other availability failures, such as
deprecation and OS version availability.
2020-11-09 23:43:51 -05:00
Alexis Laferrière
3acbd0917e [Sema] Type-check exportability of SPI conformances
Report the use of conformances declared as SPI in public declarations
and inlinable code.

rdar://problem/66659715
2020-09-01 11:11:26 -07:00
Alexis Laferrière
d70b0c9249 [Sema] SPI requirements in SPI protocols don't need a default implementation
The check for SPI protocol requirements needing a default implementation
should ignore requirements in a protocol that is SPI too. The protocol
can’t be conformed to without knowing of the requirement.

rdar://65286171
2020-07-13 16:11:02 -07:00
Alexis Laferrière
ba2455a17c [Sema] Add test case for SPI requirements on name vs type 2020-07-13 16:11:02 -07:00
Alexis Laferrière
5be252a8b3 [Sema] Move the check for SPI protocol requirements to existing logic
Asides from removing duplicated code this change also now checks implicit SPI
requirements and applies only in library evolution mode.
2020-07-13 16:00:34 -07:00
Alexis Laferrière
5210dcb509 [Sema] An SPI protocol requirement must have a default implementation 2020-05-12 13:37:34 -07:00