Skip to content

Track record fields in typestate #888

Closed
Closed
Track record fields in typestate#888

Description

@catamorphism
catamorphism
opened on Sep 9, 2011

It seems harmless to also allow typestate constraints to mention immutable fields of records -- for example, letting you write:

check type_has_static_size(cx.tcx, t);

instead of

let tcx = cx.tcx;
check type_has_static_size(tcx, t);

Activity

  1. ghost assigned
    catamorphism
    on Sep 9, 2011

  2. graydon commented on Sep 9, 2011

    @graydon
    graydon
    on Sep 9, 2011
    Contributor

    Significantly more complex. I'd recommend against it.

  3. catamorphism commented on Mar 15, 2012

    @catamorphism
    catamorphism
    on Mar 15, 2012
    ContributorAuthor

    I now agree.

  4. catamorphism
    closed this as completedon Mar 15, 2012
  5. catamorphism
    removed their assignment
    on Jun 16, 2014
  6. bors
    added a commit that references this issue on Apr 8, 2017

    Auto merge of #41092 - jonhoo:std-fence-intrinsics, r=alexcrichton

    b2d9b63
  7. ZuseZ4
    added a commit that references this issue on Mar 7, 2023

    update NoFree list (rust-lang#888)

    bc85675
  8. coastalwhite
    added a commit that references this issue on Aug 5, 2023

    Re-enable wasi on CI (rust-lang#888)

    b00ace0
  9. noscripter
    added a commit that references this issue on Sep 8, 2025

    style: include `enum_glob_use` (rust-lang#888)

    a9ed3ed
  10. U007D
    added 2 commits that reference this issue on Aug 21, 2026

    Merge rust-lang#982

    40c6dd1

    Auto merge of rust-lang#888 - RalfJung:rustup, r=RalfJung

    08d1554
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

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions