Skip to content

Swift: Use enum content in withContiguousStorageIfAvailable model.#13816

Merged
geoffw0 merged 2 commits intogithub:mainfrom
geoffw0:contig2
Jul 25, 2023
Merged

Swift: Use enum content in withContiguousStorageIfAvailable model.#13816
geoffw0 merged 2 commits intogithub:mainfrom
geoffw0:contig2

Conversation

@geoffw0
Copy link
Copy Markdown
Contributor

@geoffw0 geoffw0 commented Jul 25, 2023

Use enum content in withContiguousStorageIfAvailable model. This (and similar models to come) was the motivation for #13795 , but could not be done in #12416 as that was not available then.

@geoffw0 geoffw0 added no-change-note-required This PR does not need a change note Swift labels Jul 25, 2023
@geoffw0 geoffw0 requested a review from a team as a code owner July 25, 2023 13:35
";Sequence;true;first(where:);;;Argument[-1];ReturnValue;taint",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1];Argument[0].Parameter[0];taint",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[0].ReturnValue;ReturnValue.OptionalSome;taint",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[0].ReturnValue;ReturnValue.OptionalSome;value",
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I agree. I don't see why this shouldn't be value-preserving 👍

@geoffw0 geoffw0 merged commit fbbc293 into github:main Jul 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Swift

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants