Skip to content

Conversation

@zygoloid
Copy link
Contributor

@zygoloid zygoloid commented Nov 21, 2025

We already did this translation in the other direction, but we had no
mapping from Optional(T) to anything, so round-tripping a nullable
pointer from C++ through Carbon and back to C++ was previously rejected.

@zygoloid zygoloid requested a review from a team as a code owner November 21, 2025 23:14
@zygoloid zygoloid requested review from chandlerc and removed request for a team November 21, 2025 23:14
@github-actions github-actions bot added documentation An issue or proposed change to our documentation toolchain labels Nov 21, 2025
@zygoloid zygoloid added the dependent Depends on another issue/PR label Nov 22, 2025
Copy link
Contributor

@chandlerc chandlerc left a comment

Choose a reason for hiding this comment

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

Generally LG, but a question on one aspect of using function_ref inline...

@zygoloid zygoloid removed the dependent Depends on another issue/PR label Nov 25, 2025
We already did this translation in the other direction, but we had no
mapping from `Optional(T)` to anything, so round-tripping a nullable
pointer from C++ through Carbon and back to C++ was previously rejected.
@zygoloid zygoloid force-pushed the toolchain-ptr-mapping branch from e9158f3 to d3a0db6 Compare November 25, 2025 20:04
@zygoloid zygoloid requested a review from chandlerc November 25, 2025 20:12
Copy link
Contributor

@chandlerc chandlerc left a comment

Choose a reason for hiding this comment

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

LG, thanks!

@chandlerc chandlerc added this pull request to the merge queue Nov 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 25, 2025
@zygoloid zygoloid added this pull request to the merge queue Nov 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 25, 2025
@zygoloid zygoloid added this pull request to the merge queue Nov 25, 2025
Merged via the queue into carbon-language:trunk with commit ec8c999 Nov 25, 2025
8 checks passed
@zygoloid zygoloid deleted the toolchain-ptr-mapping branch November 25, 2025 22:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation An issue or proposed change to our documentation toolchain

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants