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.

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

Add queries for LocalDefId <-> HirId conversion (take 2) #75641

Closed

Commits on Aug 19, 2020

  1. Configuration menu
    Copy the full SHA
    69cea9c View commit details
    Browse the repository at this point in the history
  2. bug! on DefPath collision during forcing dep node

    Now that LocalDefId <-> HirId conversions are query-ified, we should
    never get to this point.
    Aaron1011 committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    26eaae4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    eceb27b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    438f0d5 View commit details
    Browse the repository at this point in the history
  5. Run fmt

    Aaron1011 committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    9db3cdd View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2020

  1. Configuration menu
    Copy the full SHA
    9cc2e49 View commit details
    Browse the repository at this point in the history