Commit Graph

8 Commits

Author SHA1 Message Date
Meghana Gupta
8d3f38623d [NFC] Update tests and diagnostics 2025-06-11 13:15:22 -07:00
Joe Groff
b0c9fa5c12 SILGen: Establish an addressability scope for closure captures.
This allows a captured variable to serve as the root of an addressable dependency.
Fixes the compiler crash in rdar://150479326.
2025-06-02 09:31:25 -07:00
Andrew Trick
1d71a056c9 Disable a test until SILGen supports borrowing getter + library evo
rdar://150073405 ([SILGen] support synthesized _modify on top of borrowed
getters with library evolution)

(cherry picked from commit 78758dad3f)
2025-04-25 19:21:16 -07:00
Andrew Trick
8db1f03e53 Add .swiftinterface tests to check backward compatibility.
(cherry picked from commit 49a8770792)
2025-04-25 19:21:15 -07:00
Meghana Gupta
c73187aa64 [NFC] Update tests 2025-04-09 10:19:04 -07:00
Andrew Trick
939faa30b2 [NFC] cleanup feature flags in lifetime_depend_infer.swiftinterface
(cherry picked from commit 7613c5e52e)
2025-04-08 13:29:04 -07:00
Andrew Trick
d86553a675 Add a "lazy" lifetime inference for mutating interface methods
When type checking a .swiftinterface file, Assume that a mutating methods does
not depend on its parameters.  This is unsafe but needed because some
MutableSpan APIs snuck into the standard library interface without specifying
dependencies.

Fixes rdar://148697444 error: a mutating method with a ~Escapable 'self' requires '@lifetime(self:
...)'

(cherry picked from commit a86fe4fa30)
2025-04-08 11:40:27 -07:00
Andrew Trick
4d4e3d9b6c Add tests for lifetime inference on .swiftinterface
Lazy inference must be used when type checking definitions in an interface file
for backward compatibility.
2025-03-20 12:28:39 -07:00