Zekun Wang
Zekun Wang
Hi, I wonder if the library is designed so that even if an operation failed on an archive object `a` (say with an error code
# 🐛 Bug The following program passes ability checking ```move module 0x42::test { struct Impotent {} fun test(): Impotent { let x = Impotent {}; // x still used if...
# 🐛 Bug `abort` when used in statements are not typed correctly: ```move fun test(): u8 { // abort(42) // this works abort 42; // this doesn't } ``` gives...
### Description Closes #11379 by changing the implementation of `is_borrowed`. ### Test Plan Existing tests, especially `ability-checker/ability_violation.move` which triggered the debug assertion before.
# 🐛 Bug If the destination of an assignment is never used later, it should not be borrowed later. ``` _x = ... // _x is definitely not borrowed here...
## Description This PR adds location information of the target and source registers for each stackless bytecode. We track this in the compiler V2 bytecode generator when constructing stackless bytecode...
# 🚀 Feature Request We need locations for arguments of stackless bytecode for better error messages.
### Description Implements a stackless bytecode pipeline `control_flow_simplifier` which simplifies the control flow graph in the following ways: 1. Eliminates branch or jump to jump: Any empty block ` L1:...
## Description Closes #13326 Implements a `--override-std mainnet/testnet/dev` option for overriding the version of standard library (aptos framework, aptos stdlib, move stdlib) as dependencies. For example, if `--override-std mainnet` is...
# 🐛 Bug ``` fn test() { let attr = AttrId::new(0); let t = 0; let l0 = L::new(0); let l2 = L::new(2); let l1 = L::new(1); let code =...