target_feature: make it more clear what that 'Option' means#117834

Merged

bors merged 2 commits intorust-lang:masterfrom

RalfJung:target-feature-stability

Nov 15, 2023

Commits on Nov 12, 2023

target_feature: make it more clear what that 'Option' means
RalfJung
committed

Commits on Nov 13, 2023

features must be additive
RalfJung
committed