Update StopWhenAny constructor for Vector

[Vaibhavdixit02]

The element type should be subtype of StoppingCriterion

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.76%. Comparing base (7f8d7c6) to head (1b211bf).

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #376      +/-   ##
==========================================
+ Coverage   99.74%   99.76%   +0.01%     
==========================================
  Files          74       74              
  Lines        7167     7167              
==========================================
+ Hits         7149     7150       +1     
+ Misses         18       17       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[kellertuer]

Ah, well-spotted; it even seems we usually always used the constructor in the line after that.

Could you

• add a small test for this case
• add a small entry in the changelog (cf. the other PR currently open for example) so this is reflected in there?

Thanks for opening this :)

[kellertuer]

Thanks for the quick adaptions and fixing that bug :)