Skip to content

Update MIR Place description #1387

Closed
@pierwill

Description

@pierwill

It looks like this is out-of-date, since Place is a struct, not an enum.

- **Places** are identified by the enum [`Place`]. There are a few
variants:
- Local variables like `_1`
- Static variables `FOO`
- **Projections**, which are fields or other things that "project
out" from a base place. These are represented by the type
[`ProjectionElem`]. So e.g. the place `_1.f` is a projection,
with `f` being the "projection element" and `_1` being the base
path. `*_1` is also a projection, with the `*` being represented
by the [`ProjectionElem::Deref`] element.

Metadata

Metadata

Assignees

No one assigned

    Labels

    E-easyDifficulty: might be a good place for a beginner

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions