Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix vector pattern matching trans #8403

Merged
merged 4 commits into from
Aug 11, 2013
Merged

Fix vector pattern matching trans #8403

merged 4 commits into from
Aug 11, 2013

Conversation

msullivan
Copy link
Contributor

r? nikomatsakis? tjc?

@bstrie
Copy link
Contributor

bstrie commented Aug 8, 2013

@msullivan is the documentation still accurate in light of the forthcoming #8386?

@erickt erickt mentioned this pull request Aug 10, 2013
Closed
bors added a commit that referenced this pull request Aug 10, 2013
@bors
auto merge of #8444 : erickt/rust/rollup, r=cmr
bf80976 
This merges these PR together:

#8430: r=thestinger 
#8370: r=thestinger
#8386: r=bstrie
#8388: r=thestinger
#8390: r=graydon
#8394: r=graydon
#8402: r=thestinger
#8403: r=catamorphism
@bors bors merged commit 437a4c2 into rust-lang:master Aug 11, 2013
flip1995 pushed a commit to flip1995/rust that referenced this pull request Apr 7, 2022
@bors
Auto merge of rust-lang#8403 - nerdypepper:fix/diagnostic-message-mis…
938b9fd 
…pelling, r=flip1995,Manishearth

fix misspelling in diagnostic message of `bytes_nth`

*Please write a short comment explaining your change (or "none" for internal only changes)*

changelog: fix misspelling in diagnostic message in ``[`bytes_nth`]``
bors added a commit to rust-lang-ci/rust that referenced this pull request Jul 25, 2022
@bors
Auto merge of rust-lang#12086 - iDawer:infer.rpit, r=flodiebold
0ee4e6a 
infer from RPIT bounds of _this_ function

Collect obligations from RPITs (Return Position `impl Trait`) of a function which is being inferred.
This allows inferring {unknown}s from RPIT bounds.

Closes rust-lang#8403
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@msullivan @bstrie @catamorphism @bors