Java SE 14 (March 2020 ... condition as a single compound boolean expression rather than as statements with ad-hoc control flow. The scoping for the binding variable p is flow-sensitive; it ...