Skip to content

Rollup of 7 pull requests #72430

New issue

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

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

Already on GitHub? # to your account

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
Collaborator

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
Collaborator

bors commented May 21, 2020

⌛ Testing commit d3cc845 with merge d983aba643d903e73293809f2b30655d43106b5d...

@bors
Copy link
Collaborator

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
# for free to join this conversation on GitHub. Already have an account? # 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