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.

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

Rollup of 7 pull requests #72430

Closed
wants to merge 23 commits into from
Closed

Conversation

RalfJung
Copy link
Member

Successful merges:

Failed merges:

r? @ghost

csmoe and others added 23 commits May 12, 2020 20:57
Intern predicates

Implements the first step of rust-lang/compiler-team#285

Renames `ty::Predicate` to `ty::PredicateKind`, which is now interned.
To ease the transition, `ty::Predicate` is now a struct containing a reference
to `ty::PredicateKind`.

r? @ghost
Don't `type_of` on trait assoc ty without default

Fix rust-lang#72076.
Spell out `Self` in async function return

Closes rust-lang#69276
r? @tmandry
…llaumeGomez

Make intra-link resolve links for both trait and impl items

Closes rust-lang#72340
…s, r=nikomatsakis

Show default values for debug-assertions & debug-assertions-std
…akis

fix discriminant_value sign extension

Fixes a regression introduced in rust-lang#70705
r? @nikomatsakis Cc @lcnr @oli-obk
@RalfJung
Copy link
Member Author

@rustbot modify labels: +rollup
@bors r+ rollup=never p=7

@bors
Copy link
Contributor

bors commented May 21, 2020

📌 Commit d3cc845 has been approved by RalfJung

@rustbot rustbot added the rollup A PR which is a rollup label May 21, 2020
@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label May 21, 2020
@bors
Copy link
Contributor

bors commented May 21, 2020

⌛ Testing commit d3cc845 with merge d983aba643d903e73293809f2b30655d43106b5d...

@bors
Copy link
Contributor

bors commented May 21, 2020

💔 Test failed - checks-azure

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels May 21, 2020
@RalfJung RalfJung closed this May 21, 2020
@RalfJung RalfJung deleted the rollup-o884xp9 branch May 21, 2020 19:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

9 participants