Skip to content

Conversation

m-ou-se
Copy link
Member

@m-ou-se m-ou-se commented Nov 19, 2024

@nikomatsakis
Copy link
Contributor

Love this.

@nikomatsakis nikomatsakis merged commit 99e5020 into rust-lang:main Dec 2, 2024
1 check passed
@m-ou-se m-ou-se deleted the safe-linking branch January 30, 2025 12:00
nikomatsakis added a commit to nikomatsakis/rust-project-goals-ndm that referenced this pull request Jun 5, 2025
[2025H1] Research: How to achieve safety when linking separately compiled code
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants