Feature: control inlining better #5873
Original bug ID: 5873
I propose to add a feature for controlling inlining, in order to prevent performance bugs like #5872.
There are basically two options: instruct the compiler about inlining, or check inlining afterward:
Of course, the goal of adding such a feature is to include the recommendations or checks into the build, so that we get automation. This is especially useful because OCaml doesn't define when inlining is possible, and because every OCaml version may behave differently in this respect.