shame icon indicating copy to clipboard operation
shame copied to clipboard

feature `relaxed_control_flow` is not additive

Open RayMarch opened this issue 5 months ago • 0 comments

The relaxed_control_flow cargo feature is not additive in the way described in https://doc.rust-lang.org/cargo/reference/features.html#feature-unification (at least when FlowFn is part of the public API, however even if it is private, enabling this feature for all users having a shame dependency is undesirable, as it would remove control flow checks for everyone)

One possible solution would be to offer 2 modules, one for safe control flow and another for "unchecked" control flow, which requires the user to be aware of the graph-recording pattern and its implication on assignments (= operator).

RayMarch avatar Aug 10 '25 11:08 RayMarch