Heapster Rust layout optimization for option-like types#1627

Merged

mergify[bot] merged 6 commits intomasterfrom heapster/rust-option-optimization

Apr 15, 2022

+185-46

Commits on Apr 14, 2022

removed an unused import in Implication.hs
Eddy Westbrook
committed
started implementing support in RustTypes.hs for the Rust optimization of Option-like types
Eddy Westbrook
committed
added list64_tail and list64_find_mut examples, though only the former is going to work for now...
Eddy Westbrook
committed
added assumes for the alloc::box_free functions
Eddy Westbrook
committed
fixed up the Rust layout optimization for option-like shapes so that the recognizers for niches simplify the payload shape first
Eddy Westbrook
committed
Merge branch 'master' into heapster/rust-option-optimization
Eddy Westbrook
authored