Skip to content

#![no_builtins] attribute occurs twice on BUILTIN_ATTRIBUTES list #43148

Closed
@pnkfelix

Description

@pnkfelix

(spawned off of #43106)

As the title says, there are two entries for "no_builtins".

They look like:

...
    ("no_builtins", Whitelisted, Ungated),
...
    ("no_builtins", CrateLevel, Ungated),
...

I doubt the duplicate differing entries are a deliberate choice.

I suspect this may be hiding a small bug, since I currently do not get an error from the compiler (including on the stable channel) when I hand it code like this:

#[no_builtins = "0300"]
mod no_builtins { mod inner { #![no_builtins="0200"] }
}

fn main() { }

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.T-langRelevant to the language 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