Trying to reproduce an issue highlighted by https://github.com/dubzzz/fast-check/pull/4592 - View it on GitHub