Skip to content
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

aya: MapData should be Borrow, not AsRef #525

Merged
merged 1 commit into from
Apr 21, 2023

Conversation

dave-tucker
Copy link
Member

We don't ever do ref-to-ref conversion for MapData so Borrow should suffice.

Signed-off-by: Dave Tucker dave@dtucker.co.uk

We don't ever do ref-to-ref conversion for MapData so Borrow should
suffice.

Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
@netlify
Copy link

netlify bot commented Feb 14, 2023

Deploy Preview for aya-rs-docs ready!

Name Link
🔨 Latest commit b1a70fc
🔍 Latest deploy log https://app.netlify.com/sites/aya-rs-docs/deploys/63eb626fcad7ec00085ce077
😎 Deploy Preview https://deploy-preview-525--aya-rs-docs.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site settings.

@dave-tucker
Copy link
Member Author

@alessandrod @vadorovsky this doesn't touch API... and the last comment from alessandro on discord was:

We should have used Borrow to begin with

Could one of you take a look?

@dave-tucker dave-tucker added fix A PR that is a small change or fixes a bug aya This is about aya (userspace) labels Feb 23, 2023
@dave-tucker dave-tucker added this to the 0.12 milestone Feb 23, 2023
Copy link
Collaborator

@alessandrod alessandrod left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm. (This does change API since it changes public from impls, in case you want to add a label or something)

@dave-tucker dave-tucker merged commit ed14751 into aya-rs:main Apr 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
aya This is about aya (userspace) fix A PR that is a small change or fixes a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants