PHPStan-unreine Funktion, die eine übergeordnete Eigenschaft ändert ⇐ Php

[Anonymous]

Anhand des folgenden Codes meldet PHPStan einen Fehler, dass der Vergleich in Zeile 36 immer als wahr ausgewertet wird, und geht daher davon aus, dass die Methode immer eine Ausnahme auslöst. Aber wenn ich den Code ausführe, wird keine Ausnahme ausgelöst.
Wie kann ich diesen PHPStan-Fehler verhindern, vorausgesetzt, ich kann den ExternalService und das Eingabeargument nicht ändern?
PHPStan Playground: https://phpstan.org/r/485efc44-4d5c-4bb ... f3f07f780f

Code: Select all