terminology: #[feature] enables a feature (instead of "declaring" or "activating" it)#131321

Merged

bors merged 2 commits intorust-lang:masterfrom

RalfJung:feature-activation

Oct 22, 2024

Commits on Oct 22, 2024

terminology: #[feature] *enables* a feature (instead of "declaring" or "activating" it)
RalfJung
committed
make some rustc_feature internals private, and ensure invariants with debug assertions
RalfJung
committed