Bug 455723 - Nonnull argument not correctly inferred in loop

Change-Id: I4112251046568e536154c0af6ef728dba2f8df5c
Signed-off-by: Stephan Herrmann <stephan.herrmann@berlin.de>