New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

enable `implicit some` feature on query rons. #897

Merged

obi1kenobi merged 1 commit into obi1kenobi:main from suaviloquence:implicit-some

Sep 1, 2024

Contributor

suaviloquence commented Sep 1, 2024

This lets (but does not require) us specify T on a query field that called for Option<T> without wrapping in Some.

See #893 (comment)


          enable implicit some feature on query rons.

e5aff81

suaviloquence mentioned this pull request

add witness template to lints #893

Merged

4 tasks

obi1kenobi approved these changes

View reviewed changes

obi1kenobi merged commit a39dc2b into obi1kenobi:main

33 checks passed

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet