Shorthand syntax for optional binding conditions that shadow an existing variable by omitting the right-hand expression.