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.

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

Change substitutions from a flat vector into 3 vectors #14604

Merged
merged 1 commit into from
Jun 13, 2014
Merged

Change substitutions from a flat vector into 3 vectors #14604

merged 1 commit into from
Jun 13, 2014

Commits on Jun 13, 2014

  1. Introduce VecPerParamSpace and use it to represent sets of types and 

    parameters

This involves numerous substeps:

1. Treat Self same as any other parameter.
2. No longer compute offsets for method parameters.
3. Store all generic types (both trait/impl and method) with a method,
   eliminating odd discrepancies.
4. Stop doing unspeakable things to static methods and instead just use
   the natural types, now that we can easily add the type parameters from
   trait into the method's polytype.
5. No doubt some more. It was hard to separate these into distinct commits.

Fixes rust-lang#13564
    @nikomatsakis
    nikomatsakis committed Jun 13, 2014
    5 Configuration menu
    Copy the full SHA
    9153d8a View commit details
    Browse the repository at this point in the history