Meghana Gupta
44e05fa858
[NFC] Update tests and diagnostics
2025-06-07 12:49:01 -07:00
Andrew Trick
f39044d4f3
Re-enable a test case in lifetime_depende_infer.swiftinterface.
...
This is fixed:
rdar://150073405 ([SILGen] support synthesized _modify on top of
borrowed getters with library evolution)
2025-05-28 16:14:11 -07:00
Andrew Trick
78758dad3f
Disable a test until SILGen supports borrowing getter + library evo
...
rdar://150073405 ([SILGen] support synthesized _modify on top of borrowed
getters with library evolution)
2025-04-25 17:58:24 -07:00
Andrew Trick
49a8770792
Add .swiftinterface tests to check backward compatibility.
2025-04-25 17:58:24 -07:00
Andrew Trick
7613c5e52e
[NFC] cleanup feature flags in lifetime_depend_infer.swiftinterface
2025-04-07 18:11:12 -07:00
Andrew Trick
a86fe4fa30
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:
...)'
2025-04-07 18:06:42 -07:00
Meghana Gupta
ef1e94577f
Revert "Merge pull request #80540 from swiftlang/revert-80452-lifetimeinout"
...
This reverts commit 6eaa07a880e75ee3f4cf
2025-04-04 09:50:13 -07:00
Artem Chikin
39e1791b67
Revert "Add support for inout lifetime dependence"
2025-04-04 09:00:09 -07:00
Meghana Gupta
364338283b
[NFC] Update tests
2025-04-03 17:32:02 -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
