4 Commits

Author	SHA1	Message	Date
Harlan Haskins	4ac34a40ea	@retroactive conformance syntax and checking (#36068)	2023-10-20 14:27:03 -07:00
Slava Pestov	baa9d7142a	Sema: Pull conformance exportability checking out of resolveType()	2020-10-14 23:42:02 -04:00
Alexis Laferrière	cbb7228451	[Sema] Evaluate SPI groups for all decls, not only public ones ... Remove the fast path skipping evaluating SPI groups for non-public decls. This knowledge is still required to allow the use of SPI types in the signatures of `@usableFromInline` declarations and in internal properties of structs in non library evolution compilation. rdar://68530659 rdar://68527580	2020-09-08 16:58:45 -07: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