Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

x/tools/go/packages: document that different package loads lead to different type identities #61418

Open
griesemer opened this issue Jul 18, 2023 · 1 comment
Open

x/tools/go/packages: document that different package loads lead to different type identities #61418

griesemer opened this issue Jul 18, 2023 · 1 comment
Labels
Documentation NeedsFix The path to resolution is known, but the work has not been done. Tools This label describes issues relating to any tools in the x/tools repository.
Milestone
Backlog

Comments

@griesemer
Copy link
Contributor

griesemer commented Jul 18, 2023 •
edited

When loading the same set of packages twice, user-defined types are not guaranteed to have the same type identity.
This should be explicitly documented.

See #61412 for an example where not understanding this property causes problems.

cc: @findleyr @alandonovan
@griesemer griesemer added Documentation NeedsFix The path to resolution is known, but the work has not been done. labels Jul 18, 2023
@griesemer griesemer added this to the Backlog milestone Jul 18, 2023
@gopherbot gopherbot added the Tools This label describes issues relating to any tools in the x/tools repository. label Jul 18, 2023
@adonovan
Copy link
Member

adonovan commented Jul 18, 2023 •
edited

Yes, we should document that. But see also #57497, which argues that we might be able to finesse the issue (at least for package-level types) by allowing two distinct Named to be identical if their (PkgPath, Name) pairs are equal.

@griesemer griesemer mentioned this issue Jul 18, 2023
Closed
@fbbdev fbbdev mentioned this issue Mar 30, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Documentation NeedsFix The path to resolution is known, but the work has not been done. Tools This label describes issues relating to any tools in the x/tools repository.
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
3 participants
@adonovan @griesemer @gopherbot