Skip to content

Rollup of 10 pull requests - #24255

Closed
steveklabnik wants to merge 20 commits into
rust-lang:masterfrom
steveklabnik:rollup
Closed

Rollup of 10 pull requests#24255
steveklabnik wants to merge 20 commits into
rust-lang:masterfrom
steveklabnik:rollup

Conversation

Thiago Carvalhoand others added 20 commits April 9, 2015 18:07
coherence. Skolemized parameters wind up preventing unification.
Surprised we had no test for this! Fixesrust-lang#24241.
Fill out blank section headers. Copy edit the entire first section.
A brief introduction to each type, with pointers to the primitive pages
for more info.
…labnik
Now that the new TOC has landed, I've started doing an editing pass to get the old content into the right shape. I felt this introduction was significant enough to send as its own PR, though, as it's the introduction.
It's possible that we may just want to replace 'the intro' with this directly, but this PR doesn't do that.
…labnik
Fill out blank section headers. Copy edit the entire first section.
…failure, r=pnkfelix
Don't use skolemized parameters but rather fresh variables in coherence. Skolemized parameters wind up preventing unification. Surprised we had no test for this! Fixesrust-lang#24241.
r? @pnkfelix
…=alexcrichton
A brief introduction to each type, with pointers to the primitive pages
for more info.
@steveklabnik

Copy link
Copy Markdown
ContributorAuthor

@bors: r+ p=1

@rust-highfive

Copy link
Copy Markdown
Contributor

r? @brson

(rust_highfive has picked a reviewer for you, use r? to override)

@bors

bors commented Apr 10, 2015

Copy link
Copy Markdown
Collaborator

📌 Commit a92b4a4 has been approved by steveklabnik

@bors

bors commented Apr 10, 2015

Copy link
Copy Markdown
Collaborator

⌛ Testing commit a92b4a4 with merge abab8a6...

bors added a commit that referenced this pull request Apr 10, 2015
@bors

bors commented Apr 10, 2015

Copy link
Copy Markdown
Collaborator

💔 Test failed - auto-linux-64-nopt-t

@CentrilCentril added the rollup A PR which is a rollup label Oct 2, 2019
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rollupA PR which is a rollup

Projects

None yet

Development

Successfully merging this pull request may close these issues.

9 participants

@steveklabnik@rust-highfive@bors@brson@Centril@aturon@apasel422@frewsxcv@nikomatsakis