Compile-time control-flow proof that a Java variable has been assigned on every path before it is read.