aptos-core
aptos-core copied to clipboard
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
## Description ## How Has This Been Tested? ## Key Areas to Review ## Type of Change - [ ] New feature - [ ] Bug fix - [ ]...
## Description one time tool, not plan to merge ## How Has This Been Tested? ## Key Areas to Review ## Type of Change - [ ] New feature -...
# 🐛 Bug Compare test outputs: - third_party/move/move-compiler/tests/move_check/translated_ir_tests/move/signer/read_ref_transitive.exp - third_party/move/move-compiler-v2/tests/ability-check/v1-signer/read_ref_transitive.exp V2 seems to accept `*&x` as valid for a type without `copy` by turning it into a `move x`. Splitting...
[compiler-v2] Avoid infinite recursion showing types with receiver functions in presence of errors
## Description When displaying a "receiver function" type in the presence of errors, a type variable may be shown by showing the receiver function type, which includes the type variable...
The function `module.is_target` has been used since many years to determine whether a module belongs the the current unit of compilation (package). In order to fix a bug we changed...
# 🐛 Bug I (Brian) implemented various optimizations on the movel-model AST without realizing that short-cutting `||` and `&&` haven't been lowered to more explicit control flow, but remain as...
# 🐛 Bug ``` public inline fun pass_mut_ref(v: &mut vector, action: |&mut T|&mut T): &mut T { action(vector::borrow_mut(v, 0)) } public fun consume_mut_freeze() { let v = vector[1, 2, 3];...
# 🐛 Bug Compiler V1 catches some "missing ability `key`" errors which are missed by Compiler V2: - third_party/move/move-compiler/tests/move_check/typing/pack_constraint_not_satisfied.exp - third_party/move/move-compiler-v2/tests/ability-check/v1-typing/pack_constraint_not_satisfied.exp Reducing the test to try to eliminate error shadowing:...
# 🐛 Bug Compiling the following Move code with V2 compiler ```move module demo::demo { struct S has store { field: T, } struct E has store, drop { entry:...
# 🐛 Bug Adding: ``` public fun borrow(self: &OrderedMao, key: &K): &V { self.find(key).iter_borrow(self) } ``` function to the WIP implementation of OrderedMap, makes the compiler (I think) overflow its...