Attribute rustc_specialization_trait

[powerboat9]

I tried this code:

#![feature(rustc_attrs)]

#[rustc_specialization_trait]
#[allow(unused)]
trait Foo {}

I expected to see this happen: No error

Instead, this happened:

<source>:3:3: error: unknown attribute
    3 | #[rustc_specialization_trait]
      |   ^~~~~~~~~~~~~~~~~~~~~~~~~~

Meta

• I tested it on godbolt.com GCCRS master, April 3 2023. I can run it locally and obtain a commit hash if necessary.

[bjorn3]

This is used for #![feature(min_specialization)].