-
Notifications
You must be signed in to change notification settings - Fork 259
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat(Data/Sum/Basic): create direct versions of get(Left|Right)? analogous to Option.get #6663
Conversation
linesthatinterlace
commented
Aug 18, 2023
•
edited by github-actions
bot
Loading
edited by github-actions
bot
- [Merged by Bors] - fix(Data/Sum/Basic): Add ? to Sum-get function names. #6665
Would you mind splitting out a PR that adds the question marks and nothing else (ie, your first commit)? It will make the diff clearer. |
Oh, certainly. I assume I should keep this one up and just rebase it. I did my commits like that so it should actually be the first commit of this branch. |
I thought you might mean that but I wasn't sure and I thought better to do that first. |
See #6665. |
9e3d06c
to
cb16396
Compare
Thanks 🎉 bors merge |
…ogous to Option.get (#6663) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Build failed (retrying...):
|
…ogous to Option.get (#6663) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Pull request successfully merged into master. Build succeeded! The publicly hosted instance of bors-ng is deprecated and will go away soon. If you want to self-host your own instance, instructions are here. If you want to switch to GitHub's built-in merge queue, visit their help page. |
…ogous to Option.get (#6663) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
…ogous to Option.get (#6663) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>