Skip to content

[strict provenance] make compiler's Term and GenericArg conform #119217

Closed
@WaffleLapkin

Description

Term and GenericArg currently store pointers as NonZeroUsize, which is not ideal:

ptr: NonZeroUsize,

They should really work with NonNull pointers and strict provenance APIs like .map_addr, .mask, etc.

See a PR fixing a similar issue for some context: #110243 (note: in that one I ended up rewriting the whole thing, I think this issue requires far less changes).

Metadata

Assignees

Labels

A-strict-provenanceArea: Strict provenance for raw pointersE-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions