Skip to content

Lifetime Markers do not exhibit proper variance used certain ways #20533

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.

Sign up for GitHub

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

Jump to bottom
Closed
Ericson2314 opened this issue Jan 4, 2015 · 3 comments
Closed

Lifetime Markers do not exhibit proper variance used certain ways #20533

Ericson2314 opened this issue Jan 4, 2015 · 3 comments
Assignees
@nikomatsakis
Labels
A-type-system Area: Type system
Milestone
1.0 beta

Comments

@Ericson2314
Copy link
Contributor

See http://is.gd/KdHumF . Only the third block triggers the borrow error, when presumably all three should.
@kmcallister
Copy link
Contributor

Nominating.

@brson brson added this to the 1.0 beta milestone Jan 15, 2015
@nikomatsakis nikomatsakis self-assigned this Jan 16, 2015
@nikomatsakis
Copy link
Contributor

Hmm, on my variance branch, I get 3 errors.

@nikomatsakis
Copy link
Contributor

But on master I do not. Not sure what bug I fixed there :P

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nikomatsakis nikomatsakis

Labels
A-type-system Area: Type system
Projects
None yet
Milestone
1.0 beta
Development

No branches or pull requests
5 participants
@steveklabnik @brson @nikomatsakis @kmcallister @Ericson2314