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

Jump to bottom

Turn const eval queries into canonical queries #67717

Closed
wants to merge 8 commits into from
Closed

Turn const eval queries into canonical queries #67717

wants to merge 8 commits into from

Commits on Jan 7, 2020

  1. Turn const eval queries in canonical queries, and add 

    inference context into mir execution context.
    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    95a3dd1 View commit details
    Browse the repository at this point in the history

  2. Change Instance::resolve* to take InferCtxt instead of TyCtxt. This will 

    allow param env to contain inference variables.
    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    5a5a8cf View commit details
    Browse the repository at this point in the history

  3. Make codegen_fulfill_obligation a canonical query and rename it to 

    `resolve_vtable`.
    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    77a6e85 View commit details
    Browse the repository at this point in the history

  4. Use infcx.at(..).normalize() in const eval to deal with inference 

    variables.
    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    fe87b6a View commit details
    Browse the repository at this point in the history

  5. Move subst_and_normalize_erasing_regions into `normalize_erasing_re… 

    …gions.rs` so that it's not

weirdly on it's own within the codegen module.
    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    5a92236 View commit details
    Browse the repository at this point in the history

  6. Fix TODO

    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    0f0ed7f View commit details
    Browse the repository at this point in the history

  7. Add docstrings, add def_id method to ConstEvalInput, and elide so… 

    …me lifetime parameters.
    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    b894a6b View commit details
    Browse the repository at this point in the history

  8. Fix/add doc comments and change FIXME

    @skinnyBat
    skinnyBat committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    92b63b8 View commit details
    Browse the repository at this point in the history