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

Introduce LocalDefId to HirId lookup table #72552

Closed
wants to merge 1 commit into from
Closed

Introduce LocalDefId to HirId lookup table #72552

wants to merge 1 commit into from

Commits on Jun 6, 2020

  1. Replace def_id_to_node_id table by a def_id_to_hir_table 

    Since the removal of all calls to `as_local_node_id`, the `def_id_to_node_id`
table was useless. It is being replaced by a `def_id_to_hir_id` table
which allows to lookup `HirId` from `LocalDefId` without indirection
through `NodeId` tables.
    @marmeladema
    marmeladema committed Jun 6, 2020
    Configuration menu
    Copy the full SHA
    67fcf63 View commit details
    Browse the repository at this point in the history