Skip to content

rustc: Implement ~Trait - #3894

Closed
pcwalton wants to merge 4 commits into
rust-lang:incomingfrom
pcwalton:unique-trait
Closed

rustc: Implement ~Trait #3894
pcwalton wants to merge 4 commits into
rust-lang:incomingfrom
pcwalton:unique-trait

Conversation

@pcwalton

@pcwalton pcwalton commented Nov 1, 2012

Copy link
Copy Markdown
Contributor

r? @nikomatsakis

Only the last commit is relevant here.

@nikomatsakis

Copy link
Copy Markdown
Contributor

r+. I think there are still some unresolved dragons lurking around with explicit self but this patch looks good.

@pcwalton pcwalton closed this Nov 2, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this pull request Sep 17, 2024
U007D pushed a commit to U007D/rust-mos that referenced this pull request Aug 21, 2026
3905: add ellipsis field to hir pat record r=matklad a=JoshMcguigan

This PR corrects a `fixme`, adding an `ellipsis` field to the hir `Pat::Record` type. It will also be unlock some useful follow on work for rust-lang#3894.

Additionally it adds a diagnostic for missing fields in record patterns.

~~Marking as a draft because I don't have any tests, and a small amount of manual testing on my branch from rust-lang#3894 suggests it might *not* be working. Any thoughts on how I can best test this, or else pointers on where I might be going wrong?~~

Co-authored-by: Josh Mcguigan <joshmcg88@gmail.com>
U007D pushed a commit to U007D/rust-mos that referenced this pull request Aug 21, 2026
3894: Match check enum record r=flodiebold a=JoshMcguigan

This PR implements match statement exhaustiveness checking for record type enums.

It also make a minor addition to the test infrastructure to allow testing against a single diagnostic, so you can be sure your test is triggering (or not) whichever diagnostic you expect.

Co-authored-by: Josh Mcguigan <joshmcg88@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants