Skip to content

WorkWrap: Relax "splitFun" warning for join points (#23113)

Sebastian Graf requested to merge wip/T23113 into master

... and document our ponderings in Note [Threshold arity for join points]. I also introduced a new warning in finaliseArgBoxities to see where we currently are a bit too optimistic wrt. boxity.

Fixes #23113 (closed)

Merge request reports