Skip to content

Conversation

@upamanyus
Copy link
Contributor

This prefers to use (&x).m when there's a choice between that and x.m; this ambiguity only happens for method arising from embedded fields. The old implementation preferred x.m, which caused all of x to be loaded from the heap, and would result in data races in the translated program.

@upamanyus upamanyus marked this pull request as draft September 23, 2025 19:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants