Skip to content

Rollup of 5 pull requests #61527

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

Merged
merged 12 commits into from
Jun 5, 2019
Merged

Rollup of 5 pull requests #61527

merged 12 commits into from
Jun 5, 2019

Conversation

pietroalbini
Copy link
Member

Successful merges:

Failed merges:

r? @ghost

Zoxc and others added 12 commits May 23, 2019 04:42
Make MIR drop terminators borrow the dropped location

r? @eddyb
cc @tmandry
…omics, r=sfackler

Remove unneeded feature attr from atomic integers doctests

Closes rust-lang#61448

r? @Centril
…r=pnkfelix

Fix NLL typeck ICEs

* Don't ICE when a type containing a region is constrained by nothing
* Don't ICE trying to normalize a type in a `ParamEnv` containing global bounds.

To explain what was happening in the `issue-61311-normalize.rs` case:

* When borrow checking the `the_fn` in the last `impl` we would try to normalize `Self::Proj` (`<Unit as HasProjFn>::Proj`).
* We would find the `impl` that we're checking and and check its `where` clause.
* This would need us to check `<Box<dyn Obj + 'static> as HasProj>::Proj: Bound`
* We find two possible implementations, the blanket impl and the bound in our `ParamEnv`.
* The bound in our `ParamEnv` was canonicalized, so we don't see it as a global bound. As such we prefer it to the `impl`.
* This means that we cannot normalize `<Box<dyn Obj + 'static> as HasProj>::Proj` to `Unit`.
* The `<Box<dyn Obj + 'static> as HasProj>::Proj: Bound` bound, which looks like it should be in our `ParamEnv` has been normalized to `Unit: Bound`.
* We fail to prove `<Box<dyn Obj + 'static> as HasProj>::Proj: Bound`.
* We ICE, since we believe typeck have errored.

Closes rust-lang#61311
Closes rust-lang#61315
Closes rust-lang#61320

r? @pnkfelix
cc @nikomatsakis
Hide gen_future API from documentation

This is internal rustc only API which should never be used outside code created by the current `async` transform, if it is used then the panic messages don't make sense as they're written from the perspective of that meaning there is a bug in the `async` transform (e.g. rust-lang#61482).
@pietroalbini pietroalbini reopened this Jun 4, 2019
@pietroalbini
Copy link
Member Author

@bors r+ p=5

@bors
Copy link
Collaborator

bors commented Jun 4, 2019

📌 Commit e83dceb has been approved by pietroalbini

@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 Jun 4, 2019
@bors
Copy link
Collaborator

bors commented Jun 4, 2019

⌛ Testing commit e83dceb with merge 81eb152...

bors added a commit that referenced this pull request Jun 4, 2019
Rollup of 5 pull requests

Successful merges:

 - #61069 (Make MIR drop terminators borrow the dropped location)
 - #61453 (Remove unneeded feature attr from atomic integers doctests)
 - #61488 (Fix NLL typeck ICEs)
 - #61500 (Fix regression 61475)
 - #61523 (Hide gen_future API from documentation)

Failed merges:

r? @ghost
@bors
Copy link
Collaborator

bors commented Jun 5, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: pietroalbini
Pushing 81eb152 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jun 5, 2019
@bors bors merged commit e83dceb into rust-lang:master Jun 5, 2019
@rust-highfive
Copy link
Contributor

📣 Toolstate changed by #61527!

Tested on commit 81eb152.
Direct link to PR: #61527

🎉 rls on linux: test-fail → test-pass (cc @Xanewok, @rust-lang/infra).

rust-highfive added a commit to rust-lang-nursery/rust-toolstate that referenced this pull request Jun 5, 2019
Tested on commit rust-lang/rust@81eb152.
Direct link to PR: <rust-lang/rust#61527>

🎉 rls on linux: test-fail → test-pass (cc @Xanewok, @rust-lang/infra).
@pietroalbini pietroalbini deleted the rollup-vhxyqlk branch August 13, 2019 16:16
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merged-by-bors This PR was explicitly merged by bors. rollup A PR which is a rollup S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

9 participants