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

Extend E0623 for fn and trait objects WIP #43877

Closed
gaurikholkar-zz opened this issue Aug 15, 2017 · 4 comments
Closed

Extend E0623 for fn and trait objects WIP #43877

gaurikholkar-zz opened this issue Aug 15, 2017 · 4 comments
Labels
A-diagnostics Area: Messages for errors, warnings, and lints C-enhancement Category: An issue proposing an enhancement or a PR with one.

Comments

@gaurikholkar-zz
Copy link

Examples

fn foo<'a,'b>(x:  for<'c, 'd> fn(&'c u8, &'d u8), y: Vec<&'a u8>, z: &'b u8) {
  y.push(z); // index will be zero or one
}

cc @nikomatsakis @estebank @arielb1 @GuillaumeGomez

@gaurikholkar-zz
Copy link
Author

An extension of #43269

@gaurikholkar-zz
Copy link
Author

gaurikholkar-zz commented Aug 15, 2017

Made basic changes in this commit.
Gives me the following error
Edit: fixed

@Mark-Simulacrum Mark-Simulacrum added A-diagnostics Area: Messages for errors, warnings, and lints C-enhancement Category: An issue proposing an enhancement or a PR with one. labels Aug 20, 2017
@gaurikholkar-zz gaurikholkar-zz changed the title Extend E0623 for fn and trait objects Extend E0623 for fn and trait objects WIP Sep 12, 2017
@gaurikholkar-zz
Copy link
Author

This has been taken care in #44516

@estebank
Copy link
Contributor

Closing as per #44516.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-diagnostics Area: Messages for errors, warnings, and lints C-enhancement Category: An issue proposing an enhancement or a PR with one.
Projects
None yet
Development

No branches or pull requests

3 participants