replace some #[const_trait] with const trait#146599
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 16, 2025
Merged
replace some `#[const_trait]` with `const trait`#146599bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom