aptos-labs / aptos-labs/aptos-core
[Bug] Compiler panics with specs calling inlined functions when `LIFT_INLINE_FUNS` is on and `KEEP_INLINE_FUNS` is off
Open
bug
compiler-v2
stale-exempt
- Dominant language
- Rust
- Stars
- 6.4k
- Forks
- 3.9k
- Avg merge
- 3d 7h
- Merged PRs (30d)
- 78
Description
# 🐛 Bug
When experimental compiler flags `LIFT_INLINE_FUNS` is on but `KEEP_INLINE_FUNS` is off, any specs calling inline functions will trigger a panic at https://github.com/aptos-labs/aptos-core/blob/main/third_party/move/move-compiler-v2/src/env_pipeline/spec_rewriter.rs#L93
Contributor guide
Assessment
This issue has not been assessed yet.