LifetimeDependence: implement strict type checking #80064
atrick
merged
19 commits into
swiftlang:main
from
atrick:lifetime-inference
LifetimeDependentInsertion: assert on non-inout parameter dependency
bd7d3ec9
Add a test for unsupported lifetime dependencies on params.
90021dd2
Comment: getLifetimeDependencies parameter lowering.
6adc65b1
LifetimeDependence type checker diagnostic IDs and messages
97612ada
LifetimeDependence: implement strict type checking
5d2c829b
Print '@'lifetime(copy x) in the .swiftinterface
edaf04b6
Add tests for basic LifetimeDependence requirements
10a5f0c7
Create a test suite for LifetimeDependence type checking & inferrence
3a383cd9
Fix SwiftifyImportMacro to emit @lifetime(copy).
339cd56d
Add @lifetime annotation to RawSpan.init() and Span.init()
411a65be
Update stdlib source with explicit @lifetime(copy self)
c6116be7
Update CXXSpan for strict @lifetime
e9198126
Update SpanExtras.swift for strict @lifetime checking.
88a242f1
Update tests for strict @lifetime type checking
64a48d08
Add a lifetime test for empty initialization.
8aa0746e
Fix C++ interop tests using swift_attr("~Escapable"))
8432d2e7
SIL parsing: fix a typo for parsing @_unsafeNonEscapableResult
ed19f7a1
CxxSpanReturnThunkBuilder: use _cxxOverrideLifetime(_:copying:)
955d089a
ClangImporter: fix C++ memberwise inits to use @lifetime(immortal)
d41c4d4c
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub