Skip to content

Draft: Proof of concept for "outlining" core alternatives.

Andreas Klebinger requested to merge wip/andreask/outlining_alts into master

Proof of concept for one approach to #20681

Naturally the logic would fit better in CSE but for now I put it into the simplifier because being in SimplM means we do have a unique supply around.

Probably needs quite a lot of polish, and most of all benchmarking.

Merge request reports