-
Notifications
You must be signed in to change notification settings - Fork 61
Closed
Labels
A-provenanceTopic: Related to when which values have which provenance (but not which alias restrictions follow)Topic: Related to when which values have which provenance (but not which alias restrictions follow)C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit
Description
@comex brought this up in rust-lang/rust#63787 (comment) and IIUC believes there's unsoundness lurking there? Let's continue discussion here since it's not directly relevant to the specific problems of Ref.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
A-provenanceTopic: Related to when which values have which provenance (but not which alias restrictions follow)Topic: Related to when which values have which provenance (but not which alias restrictions follow)C-open-questionCategory: An open question that we should revisitCategory: An open question that we should revisit