Skip to content

Boxity: Don't update Boxity unless worker/wrapper follows (#21754)

Sebastian Graf requested to merge wip/T21754 into master

A small refactoring in our Core Opt pipeline and some new functions for transfering argument boxities from one signature to another to facilitate Note [Don't change boxity without worker/wrapper].

Fixes #21754 (closed).

Edited by Sebastian Graf

Merge request reports