Skip to content

Error when enabling register_tool in lib.rs #180

@JustusAdam

Description

@JustusAdam

Because we covertly pass register_tool via command line to our rustc invocation, it throws an error if lib.rs contains #![feature(register_tool)].

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingflow-analysisConcerns the PDG construction componentgood first issueGood for newcomers

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions