Code

Lifetime dependencies#2750

Code

Open

jckarter wants to merge 72 commits intoswiftlang:mainswiftlang/swift-evolution:mainfrom

jckarter:tbkka-lifetime-dependencyjckarter/swift-evolution:tbkka-lifetime-dependencyCopy head branch name to clipboard

Commits

Commits on Jan 25, 2024

• First full draft.

  tbkka

  committed
  7e767dc

  Copy full SHA for 7e767dc

• Whitespace cleanup

  tbkka

  committed
  243e33b

  Copy full SHA for 243e33b

• Fix formatting

  tbkka

  committed
  b30308d

  Copy full SHA for b30308d

Commits on Jan 26, 2024

• Future direction: Lifetime dependencies between arguments

  tbkka

  committed
  ccc54d9

  Copy full SHA for ccc54d9

Commits on Feb 6, 2024

• Link to pitch thread

  tbkka

  committed
  2992389

  Copy full SHA for 2992389

Commits on Feb 7, 2024

• New examples for Future Directions

  tbkka

  committed
  ba3946c

  Copy full SHA for ba3946c

• Match the implementation: Use local parameter names for argument references

  tbkka

  committed
  0aab19d

  Copy full SHA for 0aab19d

Commits on Feb 8, 2024

• Clarify some Alternatives and Future Directions

  tbkka

  committed
  f9b06b7

  Copy full SHA for f9b06b7

Commits on Feb 12, 2024

• methods are `mutating`, not `inout`

  tbkka

  committed
  84521ca

  Copy full SHA for 84521ca

Commits on Feb 22, 2024

• Expand alternative syntaxes

  tbkka

  committed
  3055bec

  Copy full SHA for 3055bec

Commits on Mar 21, 2024

• Overhaul to adopt the new `@dependsOn()` syntax

  tbkka

  committed
  78d07f2

  Copy full SHA for 78d07f2

• Corrections from meg-gupta

  tbkka

  committed
  6ebcdb4

  Copy full SHA for 6ebcdb4

Commits on Mar 22, 2024

• Overhaul semantics discussion

  Show description for eed1b05
  tbkka

  committed
  eed1b05

  Copy full SHA for eed1b05

Commits on Mar 26, 2024

• Use "nonescapable" for the concept, rather than `~Escapable`

  tbkka

  committed
  2e82c6b

  Copy full SHA for 2e82c6b

• Use "copied lifetime dependency" more consistently

  Show description for f648b02
  tbkka

  committed
  f648b02

  Copy full SHA for f648b02

Commits on Apr 12, 2024

• s/@dependsOn/dependsOn/ to match implementation

  tbkka

  committed
  a502076

  Copy full SHA for a502076

Commits on May 3, 2024

• Changed `StorageView` and `BufferReference` to `Span` to match the sibling proposal.

  atrick

  committed
  40a78d9

  Copy full SHA for 40a78d9

Commits on May 7, 2024

• Merge pull request #1 from atrick/rename-span

  Show description for bf846dd
  tbkka

  authored
  bf846dd

  Copy full SHA for bf846dd

Commits on May 14, 2024

• Add a link to the forum discussion.

  atrick

  committed
  25e4355

  Copy full SHA for 25e4355

Commits on May 28, 2024

• Additions to Proposed solutions

  Show description for af162ef
  atrick

  committed
  af162ef

  Copy full SHA for af162ef

• Dependency semantics by example

  atrick

  committed
  adfe8a0

  Copy full SHA for adfe8a0

• Cleanup Future directions

  Show description for 3b6f859
  atrick

  committed
  3b6f859

  Copy full SHA for 3b6f859

• Additions to Future directions

  Show description for 2fd52e1
  atrick

  committed
  2fd52e1

  Copy full SHA for 2fd52e1

• Grammar updates

  atrick

  committed
  1c5a02e

  Copy full SHA for 1c5a02e

• Merge pull request #2 from atrick/update

  Show description for c6ede5d
  tbkka

  authored
  c6ede5d

  Copy full SHA for c6ede5d

Commits on May 29, 2024

• Update and cleanup the grammar.

  Show description for def2c82
  atrick

  committed
  def2c82

  Copy full SHA for def2c82

Commits on May 31, 2024

• Merge pull request #3 from atrick/lifetime-dependency

  Show description for d9aa90b
  tbkka

  authored
  d9aa90b

  Copy full SHA for d9aa90b

Commits on Jun 7, 2024

• Add a change log entry.

  atrick

  committed
  992b2fe

  Copy full SHA for 992b2fe

• Syntax update: dependsOn(self).

  atrick

  committed
  aed8750

  Copy full SHA for aed8750

• Remove Future Direction: only limited to results

  atrick

  committed
  1859b98

  Copy full SHA for 1859b98

• Fix OwnedSpan ~Escapable typo.

  atrick

  committed
  6c80aca

  Copy full SHA for 6c80aca

• Tweak wording in the `ref1.drop` example.

  atrick

  committed
  43dbc15

  Copy full SHA for 43dbc15

Commits on Jun 11, 2024

• New section: Immortal requirements.

  atrick

  committed
  d8f4cb3

  Copy full SHA for d8f4cb3

• New alternatives considered: Initializer syntax.

  atrick

  committed
  5555ee6

  Copy full SHA for 5555ee6

• Update Future component syntax.

  atrick

  committed
  eb1d88e

  Copy full SHA for eb1d88e

• New alternative considered: dependsOn(unchecked)

  Show description for a9ca58d
  atrick

  committed
  a9ca58d

  Copy full SHA for a9ca58d

• Remove redundant future direction: containers and their elements

  atrick

  committed
  181050a

  Copy full SHA for 181050a

• Move "Parameter index" section to Alternatives considered.

  atrick

  committed
  d7c1ac7

  Copy full SHA for d7c1ac7

• Typo in example from "Depending on an escapable"

  atrick

  committed
  b01cd1e

  Copy full SHA for b01cd1e

Commits on Jun 12, 2024

• Rename Array to ContiguousArray.

  Show description for 02fc95a
  atrick

  committed
  02fc95a

  Copy full SHA for 02fc95a

• New example: Escapable properties in a nonescapable type

  atrick

  committed
  de45422

  Copy full SHA for de45422

• Changelog entries

  atrick

  committed
  5b0fd84

  Copy full SHA for 5b0fd84

• Merge pull request #4 from atrick/lifetime-dependency

  Show description for 226d635
  tbkka

  authored
  226d635

  Copy full SHA for 226d635

Commits on Jun 14, 2024

• Fix a grammar typo.

  atrick

  committed
  9acaba8

  Copy full SHA for 9acaba8

• Fix a typo in the dependent parameters example.

  atrick

  committed
  51832e8

  Copy full SHA for 51832e8

• Typo: fix two more cases of Array -> ContiguousArray renaming.

  atrick

  committed
  0ed7906

  Copy full SHA for 0ed7906

Commits on Jun 17, 2024

• Merge pull request #5 from atrick/lifetime-dependency

  Show description for b6c51d8
  tbkka

  authored
  b6c51d8

  Copy full SHA for b6c51d8

Commits on Jun 20, 2024

• Update the free-standing function inference rules.

  atrick

  committed
  a969447

  Copy full SHA for a969447

Commits on Jun 21, 2024

• Merge pull request #6 from atrick/lifetime-dependency

  Show description for 25f30b3
  tbkka

  authored
  25f30b3

  Copy full SHA for 25f30b3

• Added future directions: Function type syntax and closures

  atrick

  committed
  e1d364e

  Copy full SHA for e1d364e

Commits on Jun 25, 2024

• Merge pull request #7 from atrick/lifetime-dependency

  Show description for e814e62
  tbkka

  authored
  e814e62

  Copy full SHA for e814e62

Commits on Jul 10, 2024

• Add an alternative spelling: `lifetime` vs. `dependsOn`.

  atrick

  committed
  9583bd7

  Copy full SHA for 9583bd7

Commits on Jul 11, 2024

• Merge pull request #8 from atrick/lifetime-dependency

  Show description for 699d547
  tbkka

  authored
  699d547

  Copy full SHA for 699d547

Commits on Jul 31, 2024

• Remove the Alternative: Initializer syntax: result vs. inout syntax

  Show description for f337c2f
  atrick

  committed
  f337c2f

  Copy full SHA for f337c2f

Commits on Aug 13, 2024

• Add Alternative: @lifetime annotation and where clause.

  atrick

  committed
  3b6439c

  Copy full SHA for 3b6439c

• Simplified implicit lifetime dependencies

  Show description for ac43daa
  atrick

  committed
  ac43daa

  Copy full SHA for ac43daa

• Merge pull request #9 from atrick/lifetime-dependency

  Show description for 4152b2e
  tbkka

  authored
  4152b2e

  Copy full SHA for 4152b2e

Commits on Aug 16, 2024

• Fix inference rules to be sequenced.

  atrick

  committed
  5cd2fd3

  Copy full SHA for 5cd2fd3

• In the lifetime annotation example, add an argument label.

  Show description for 0a4392f
  atrick

  committed
  0a4392f

  Copy full SHA for 0a4392f

• Merge pull request #10 from atrick/lifetime-dependency

  Show description for f16293c
  tbkka

  authored
  f16293c

  Copy full SHA for f16293c

Commits on Aug 19, 2024

• Update Future Direction: Lifetime dependence for closures

  atrick

  committed
  b841b47

  Copy full SHA for b841b47

Commits on Aug 23, 2024

• Merge pull request #11 from atrick/lifetime-dependency

  Show description for 9ba7a57
  tbkka

  authored
  9ba7a57

  Copy full SHA for 9ba7a57

Commits on Mar 20, 2025

• Merge branch 'main' into tbkka-lifetime-dependency

  jckarter

  committed
  cfe066e

  Copy full SHA for cfe066e

Commits on Mar 22, 2025

• Update proposal to match the state as of March 2025

  jckarter

  committed
  8979122

  Copy full SHA for 8979122

Commits on Mar 24, 2025

• Fix typos

  jckarter

  committed
  e43a19e

  Copy full SHA for e43a19e

Commits on Mar 26, 2025

• More revisions from feedback

  Show description for 5bc6202
  jckarter

  committed
  5bc6202

  Copy full SHA for 5bc6202

• Apply suggestions from code review

  Show description for 8083f24
  

  jckarter

  and

  glessard

  authored
  8083f24

  Copy full SHA for 8083f24

• More clarifications

  Show description for 7b753f5
  jckarter

  committed
  7b753f5

  Copy full SHA for 7b753f5

• use official names for parameter name and argument label

  jckarter

  committed
  9b600fe

  Copy full SHA for 9b600fe

Commits on Apr 1, 2025

• Adjust `_overrideLifetime` docs to match current stdlib implementation

  jckarter

  committed
  ef1c5e9

  Copy full SHA for ef1c5e9

Commits on Apr 3, 2025

• Replace @lifetime(inout arg) -> @lifetime(&arg)

  meg-gupta

  committed
  ac38ca5

  Copy full SHA for ac38ca5

Commits on Apr 4, 2025

• Merge pull request #4 from meg-gupta/inoutedits

  Show description for ef71df4
  jckarter

  authored
  ef71df4

  Copy full SHA for ef71df4