Give -fexpose-all-unfoldings the same semantics as INLINABLE on each function
Feature request: give
-fexpose-all-unfoldings the same semantics as
INLINABLE on each function.
For simplicity, for the principle of least surprise and for usability of
-fexpose-all-unfoldings, so that it can actually replace tons of
INLINABLE that are needed, e.g., for code with lots of abstract class constraints to force it to specialize to the single class that is actually used.