Skip to content

"Owned" should imply "Durable" #4447

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
bstrie opened this issue Jan 11, 2013 · 5 comments
Closed

"Owned" should imply "Durable" #4447

bstrie opened this issue Jan 11, 2013 · 5 comments
Labels
A-type-system Area: Type system

Comments

@bstrie
Copy link
Contributor

bstrie commented Jan 11, 2013

See @nikomatsakis' comments on #4446.
@graydon
Copy link
Contributor

graydon commented May 1, 2013

assigning bug; change assignment if you disagree

@ghost ghost assigned nikomatsakis May 1, 2013
@brson
Copy link
Contributor

brson commented Jul 3, 2013

Bumping from 0.7

@thestinger
Copy link
Contributor

The Durable kind no longer exists.

@nikomatsakis
Copy link
Contributor

Untrue, it is just called 'static now.

@nikomatsakis nikomatsakis reopened this Jul 8, 2013
@catamorphism
Copy link
Contributor

From eyeballing middle/ty.rs, this looks true to me. I'll check in a test.

@ghost ghost assigned catamorphism Aug 19, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
6 participants
@graydon @brson @nikomatsakis @catamorphism @bstrie @thestinger