In Java Futures at QCon New York ... such as a single expression or statement. For example, for local variables, the scope over which we gather constraints and solve is the declaration of the ...