Skip to content

Figure out a way to do name resolution in value vs type namespace #1123

@RalfJung

Description

@RalfJung

See the discussion at #1101 (comment): we'd like variants of resolve_path that specifically check the value or type namespace.

To my surprise, according to what @oli-obk said, this is actually not entirely trivial to do? Given that this is the basis of name resolution in rustc, I would have expected that to be much simpler than getting a weird "lookup in whatever namespace", which seems to be the operation we have right now.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-interpreterArea: affects the core interpreterC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions