Skip to content

Refactor ParamBounds away completely #20196

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
nikomatsakis opened this issue Dec 24, 2014 · 3 comments
Closed

Refactor ParamBounds away completely #20196

nikomatsakis opened this issue Dec 24, 2014 · 3 comments
Labels
A-type-system Area: Type system C-cleanup Category: PRs that clean code up or issues documenting cleanup.

Comments

@nikomatsakis
Copy link
Contributor

Once PR #20159 lands, there will be only one (I believe) major remaining use of ParamBounds, which is that it is used to store the list of supertraits. We should remove ParamBounds completely and just use the generic predicate lists we've been working towards.

cc @jroesch
@jroesch
Copy link
Member

jroesch commented Dec 24, 2014

I looked at this a little bit this morning and it will be fun to finally remove this.

@kmcallister kmcallister added C-cleanup Category: PRs that clean code up or issues documenting cleanup. A-type-system Area: Type system labels Jan 16, 2015
@steveklabnik
Copy link
Member

Triage: there's no more Parambounds, but there is a TyParamBounds. Is that the same thing?

@nikomatsakis
Copy link
Contributor Author

I think this is done.

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 C-cleanup Category: PRs that clean code up or issues documenting cleanup.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@steveklabnik @nikomatsakis @kmcallister @jroesch