Commit Graph

10 Commits

Author SHA1 Message Date
Meghana Gupta
8d3f38623d [NFC] Update tests and diagnostics 2025-06-11 13:15:22 -07:00
Guillaume Lessard
74766a924c [test] use the stdlib _overrideLifetime functions 2025-05-07 17:13:58 -07:00
Meghana Gupta
c73187aa64 [NFC] Update tests 2025-04-09 10:19:04 -07:00
Andrew Trick
64a48d08e1 Update tests for strict @lifetime type checking 2025-03-19 11:59:04 -07:00
Andrew Trick
88a242f175 Update SpanExtras.swift for strict @lifetime checking.
These tests can't be fully enabled until this is fixed:

rdar://147194789 ([nonescapable] 'mutating get' causes a type checking error for
non-existent _read accessor)
2025-03-19 11:59:04 -07:00
Andrew Trick
c2842e8e19 LifetimeDependenceInsertion: remove a bailout on ~Copyable
Needed to diagnose MutableSpan and OutputSpan.

For now, simply remove the bailout and TODO. The next change will introduce more
logic to force a diagnostic error in rare cases that can't be handled completely.

Fixes rdar://143584461 (Extended exclusive borrow issues with
MutableSpan and OutputSpan)
2025-02-10 09:13:27 -08:00
Meghana Gupta
ebdd3683c8 Remove problematic OutputSpan initializers and dependencies
These initializers have ownership errors. Once rdar://144352938 is fixed,
these can be enabled again.
2025-02-09 10:49:10 -08:00
Meghana Gupta
c5f36181a5 Update _overrideLifetime and use -O 2025-02-09 10:48:34 -08:00
Guillaume Lessard
2877d5b3f3 [test] expand availability annotations
- MutableSpan’s availability must be as selective as Span’s
2025-02-08 16:18:32 -08:00
Meghana Gupta
3da2b90242 Add some span unit tests for bounds check optimizations 2025-02-07 02:01:36 -08:00