How to model throwing after N-th iteration

[vojtech-dobes]

I have a method which is emitting candidate values. The responsibility of calling code is to accept one of these and prevent another iteration. Method accepts number of attempts - once all attempts are depleted, next iteration will throw instead.

foreach (Attempts::tryAtMax(5) as $attempt) {
    // 6th iteration will throw in `tryAtMax`
}

Is it possible to model this method using PHPStan extension capabilities, so that PHPStan knows that nothing after the iteration will get called?

[ondrejmirtes]

Hi, can you rephrase your question with a phpstan.org link and expected output? It’s not obvious for me.