Skip to content

lint not recognizing imported symbol #87

Description

@Roger-luo

Screenshot 2023-03-22 at 2 55 24 PM

might be related to JuliaLang/julia#49109 but I'm not sure, neither of them recognizes it. It seems to be an old bug since #95

Metadata

Metadata

Assignees

No one assigned

    Type

    Fields

    No fields configured for Bug.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions