Skip to content

Remove pure #5384

Closed
Closed
@bstrie

Description

@bstrie

Surprisingly I didn't see an issue for this anywhere. Kill pure, preferably with fire.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-frontendArea: Compiler frontend (errors, parsing and HIR)A-lifetimesArea: Lifetimes / regions

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions