Unable to use a feature of an optional dependency from a feature

[EpicatSupercell]

For example lets say we use

[dependencies.serde]
version = "0.8.*"
optional = true
default-features = false

and we want to use the std feature of serde if it is used.

[features]
std = ["serde/std"]

But now if someone wants to use our std feature serde WILL be imported. If I would want to represent this I would write

[features]
std = ["serde", "serde/std"]

Right now it's impossible to use a feature of an optional dependency from an own feature without forcing it to be used.

[alexcrichton]

Yes it's true that relying on a/b will implicitly activate the dependency on a, rather than just activating the b feature in a if a is already activated. I don't believe it's possible to express what you're thinking here today with Cargo features.

[valarauca]

To chime in.

There is a push in slog to move to opaque key value pairs, so that keys can be variable when the same logging function is invoked.

Anyways. Since the new type definition is feature gated by slog, any project that imports slog, and feature gates this new feature, can't optionally trigger this feature gate in slog.

[kvark]

Just a friendly heads up from #7259 - this problem is hitting gfx-rs ecosystem quite badly. We want things like serde and winit to be transparently enabled for the backends that the user selects, not all the things in the universe.

[RalfJung]

libstd itself also hit an annoying instance of this.

[RalfJung]

Over in #7259, @est31 proposed the following backwards-compatible syntax for "enable this feature of that dependency only if the dependency is otherwise enabled": "foo" = ["?bar/foo"]. The syntax bikeshed aside, I think it would be great to have this feature available somehow; this is bound to come up whenever features get exposed recursively (such as whether backtrace depends on backtrace-sys, or the serde/winit feature in gfx-rs).