Repository navigation
Generic typing of Option::fromValue results in Option<valueType|null> #63
Description
Option::fromValue uses the same type parameter C for the $value and $noneValue parameters. As a result, the type of C is inferred to a union of the types of $value and $noneValue:
Typing $noneValue to mixed fixes the problem:
I believe that this would be ok since $noneValue doesn't contribute to type of Option.
Reacted by Loïc Faugeron
Activity
GrahamCampbell commentedon Aug 24, 2026
Fixed in 1.10.0.
fromValue()now types$noneValueasmixed, so the value type is inferred from$valuealone and you get backOption<T>rather thanOption<T|null>— exactly as you suggested. Thanks for the clear report and playground links.