Ich muss leider zugeben, dass ich keine Ursache für dieses Verhalten finden kann. Es handelt sich um eine lokale Variable des korrekten Typs, die Abfrage sollte IMO auf jeden Fall erreicht werden, die Bedingung trifft auch zu, da explizit vorher sichergestellt
. Es könnte höchstens sein, dass ich aufgrund der ziemlich gruseligen Formatierung einen Fall übersehen habe.