Heapster: niche optimization for sums with an uninhabited type#1631

Merged

mergify[bot] merged 3 commits intomasterfrom heapster/more-rust-niche-opt

Apr 21, 2022

+85-10

Commits on Apr 20, 2022

fixed up all the rustc warnings from upgrading to rustc 1.60; commented out get_out because it produces inline assembly that SAW currently cannot handle; added extract_from_result_infallible exampl…
Eddy Westbrook
committed

Commits on Apr 21, 2022

added the mk_result_infallible function to rust_data
Eddy Westbrook
committed
added support for the Rust niche optimization that converts a sum type where one branch is uninhabited to just the other type, without the tag
Eddy Westbrook
committed