항상 true 또는 false인 조건과 값이 통계적으로 상수임이 증명된 표현식을 보고합니다.

예:


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

    if (current == State::Stopped) {
        //코드
    }
    //코드
  }