Sadly, I am but a simple farmer, with no C++ competency, so I cannot speculate as to why the behavior is occurring and whether or not it qualifies as unintended. That being said, I think there is probably no harm in filing an Issue in GitHub.
s
SK
12/09/2020, 2:56 PM
I'm also not very good in C++, at least you found the piece of code 😛 Thanks