常に true または false である条件と、値が一定であることが静的に証明されている式を報告します。

例:


  void process(State current) {
    current = State::Started;

    if (current == State::Stopped) {
        //code
    }
    //code
  }