Skip to content

allocation functions and return-position noalias #196

Closed
@hanna-kruppe

Description

@hanna-kruppe

@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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-provenanceTopic: Related to when which values have which provenance (but not which alias restrictions follow)C-open-questionCategory: An open question that we should revisit

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions