[stdlib] Optional.value should return a Reference

[lsh]

Review Mojo's priorities

• I have read the roadmap and priorities and I believe this request falls within the priorities.

What is your request?

The Optional docs for value() state that it should return a Reference when that is possible. Since the underlying Variant already returns a reference which is then dereferenced, this should be possible now.

What is your motivation for this change?

This is a planned feature per the comment on the method.

Any other details?

No response

[StandinKP]

I will take this task up. Thanks

[StandinKP]

In this what should be passed into the lifetime component and the mutability component of the Reference?

[StandinKP]

@lsh I was working on this

[lsh]

@StandinKP didn't mean to step on any toes. This is a feature I wanted for a project, and I knew roughly how to wire up all the lifetimes and mutability in Reference, but am happy to close out in favor of whatever you have.

[StandinKP]

@StandinKP didn't mean to step on any toes. This is a feature I wanted for a project, and I knew roughly how to wire up all the lifetimes and mutability in Reference, but am happy to close out in favor of whatever you have.

Nah man don't worry. Don't close it. I'll review the PR and let you know if any comments. Next time it would be good to ask so we won't be repeating efforts and we can grow this faster🤟🏻🤩