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

[Bug][move-compiler-v2] V1 errors about "duplicate acquires item", V2 does not #14630

Open
brmataptos opened this issue Sep 14, 2024 · 1 comment
Labels
bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale

Comments

@brmataptos
Copy link
Contributor

🐛 Bug

The following tests:

  • third_party/move/move-compiler-v2/tests/more-v1/translated_ir_tests/move/borrow_tests/borrow_global_acquires_duplicate_annotation.exp
  • third_party/move/move-compiler-v2/tests/more-v1/translated_ir_tests/move/borrow_tests/borrow_global_acquires_duplicate_annotation.exp

Show that V1 yields a "duplicate acquires item" error, while V2 does not.

@brmataptos brmataptos added bug Something isn't working compiler-v2 labels Sep 14, 2024
Copy link
Contributor

This issue is stale because it has been open 45 days with no activity. Remove the stale label or comment - otherwise this will be closed in 15 days.

@github-actions github-actions bot added the Stale label Oct 29, 2024
@brmataptos brmataptos added stale-exempt Prevents issues from being automatically marked and closed as stale and removed Stale labels Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
Projects
Status: 🆕 New
Development

No branches or pull requests

1 participant