Skip to content

complete typestate constraint-to-key mapping #23

Closed
@graydon

Description

@graydon
Contributor

Every constraint in the typestate system has to be mapped to a unique Semant.constr_key (see the comment next to that type for an explanation of why it exists) before anything else in the typestate system gets underway. Presently only a subset of possible constraint forms are mapped; the rest
fault. Complete the set of mappings.

Activity

added a commit that references this issue on Jul 19, 2017

Merge pull request rust-lang#23 from oli-obk/miri_run_no_more

added a commit that references this issue on Dec 12, 2017

Merge pull request rust-lang#23 from alexcrichton/lfs-support

13 remaining items

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @graydon

        Issue actions

          complete typestate constraint-to-key mapping · Issue #23 · rust-lang/rust