I20210805-1800
subsequent cast Change-Id: I87e605b479fac6fe15affbe4e33f629e5bc3a4c2 Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/183744 Tested-by: JDT Bot <jdt-bot@eclipse.org> Reviewed-by: Stephan Herrmann <stephan.herrmann@berlin.de>