> If type inside of Option<_> has invalid values Can it actually use any general invalid bit pattern? I expect that it only supports an optimization for values

> If type inside of Option<_> has invalid values Can it actually use any general invalid bit pattern? I expect that it only supports an optimization for values that cannot be zero (and then it uses zero to indicate None).