Commit Graph

6 Commits

Author SHA1 Message Date
Slava Pestov
95274b1df3 Sema: Fix availability checking for noncopyable generics 2024-03-01 15:46:59 -05:00
Kavon Farvardin
f296d8e158 NCGenerics: mass XFAIL tests
It's easier to get a handle on regressions while working through
failures if the tests that are known to not pass are XFAIL'd for
NoncopyableGenerics.
2024-02-20 18:26:05 -05:00
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