Florian Angeletti
Florian Angeletti
Personally, the diff size of mechanical changes does not matter much to me when reviewing. If the difference increase too much, I would rather propose to first introduce an inline...
Maybe an intermediary solution would to be make the type of `Tarrow` arguments an abstract `tpoly`, since the code looks like it is already using constructors and destructors functions for...
While rebasing to fix conflicts, I took the liberty to squash the three commits that were purely "diff reduction" commits. I am planning to merge as soon as the CI...
Solved by #12507 .
The issue was fixed in #13536 .
I also agree that this is more standard location. I am planning to merge if there are no objections.
Overall, I also don't like the proposition because it spends a lot of time trying to prescribe how contributors may use AI in order to avoid a currently not-existent problem....
My point of view is still that your current text is unnecessary prescriptive, a bit meandering, and fails at being a guideline. My opinion is that it should be edited...
You can pick one of the cited module in my list. The next step is then to check that the mentioned functions were added in the cited version using `git...
@Mublin for a first issue, I suggest the documentation issue #11026: more specifically, you can focus on the `Array` module as a first step.