cargo/opam have them, I can see the use case, need has not arisen yet
An optional dependency should fork the solver into two solution trees, one with and another without it (in case the dependency is available but makes the solution impossible).
Pay now to fund the work behind this issue.
Get updates on progress being made.
Maintainer is rewarded once the issue is completed.
You're funding impactful open source efforts
You want to contribute to this effort
You want to get funding like this too