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

Use eq_opaque_type_and_type when type-checking closure signatures #66222

Merged
merged 2 commits into from
Nov 28, 2019

Conversation

Aaron1011
Copy link
Member

This handles the case where a user explicitly annotations a closure
signature with a opaque return type.

Fixes #63263

This handles the case where a user explicitly annotations a closure
signature with a opaque return type.

Fixes rust-lang#63263
@rust-highfive
Copy link
Collaborator

r? @petrochenkov

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

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 8, 2019
@Centril Centril added the F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` label Nov 8, 2019
Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
@petrochenkov
Copy link
Contributor

r? @pnkfelix

@JohnCSimon
Copy link
Member

JohnCSimon commented Nov 16, 2019

Ping from triage:
@pnkfelix can you please review this PR?
cc: @petrochenkov @Centril @Aaron1011
Thank you

@JohnCSimon
Copy link
Member

Pinging again from triage:
@pnkfelix can you please review this PR?
Thanks

@pnkfelix
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Nov 27, 2019

📌 Commit e8d55d0 has been approved by pnkfelix

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 27, 2019
@pnkfelix
Copy link
Member

@bors rollup

tmandry added a commit to tmandry/rust that referenced this pull request Nov 27, 2019
…felix

Use `eq_opaque_type_and_type` when type-checking closure signatures

This handles the case where a user explicitly annotations a closure
signature with a opaque return type.

Fixes rust-lang#63263
bors added a commit that referenced this pull request Nov 27, 2019
Rollup of 17 pull requests

Successful merges:

 - #64325 (Stabilize nested self receivers in 1.41.0)
 - #66222 (Use `eq_opaque_type_and_type` when type-checking closure signatures)
 - #66305 (Add by-value arrays to `improper_ctypes` lint)
 - #66399 (rustc_metadata: simplify the interactions between Lazy and Table.)
 - #66534 (Allow global references via ForeignItem and Item for the same symbol name during LLVM codegen)
 - #66700 (Fix pointing at arg for fulfillment errors in function calls)
 - #66704 (Intra doc enum variant field)
 - #66718 (Refactor `parse_enum_item` to use `parse_delim_comma_seq`)
 - #66722 (Handle non_exhaustive in borrow checking)
 - #66744 (Fix shrink_to panic documentation)
 - #66761 (Use LLVMDisposePassManager instead of raw delete in rustllvm)
 - #66769 (Add core::{f32,f64}::consts::TAU.)
 - #66774 (Clean up error codes)
 - #66777 (Put back tidy check on error codes)
 - #66797 (Fixes small typo in array docs r? @steveklabnik)
 - #66798 (Fix spelling typos)
 - #66800 (Combine similar tests for const match)

Failed merges:

r? @ghost
@bors bors merged commit e8d55d0 into rust-lang:master Nov 28, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Development

Successfully merging this pull request may close these issues.

ICE with closure return type as impl trait type alias defining use
7 participants