Skip to content

Reachable symbols should be determined by the MIR #36594

Closed
@Aatch

Description

@Aatch

Currently, the set of reachable symbols is determined by the privacy, and whether or a function that references the symbol could be inlined cross-crate. With MIR inlining (see #36593), symbols that were previously considered unreachable from outside the crate may become reachable if an item that isn't inlined cross-crate is inlined into another function that is inlined cross-crate.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-MIRArea: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.htmlA-linkageArea: linking into static, shared libraries and binariesC-enhancementCategory: An issue proposing an enhancement or a PR with one.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions