invariant_booleans works incorrectly in switch

[EvGeniyLell]

invariant_booleans works incorrectly in switch
in second examination buffer i have the analizator problem

Conditions should not unconditionally evaluate to true or to false. verify: buffer != null.

      switch (callbackType) {
        case dto.GeneratePdfCallbacks.progress:
          if (buffer != null) {
            onProgress(
              DtoPdfDocumentValue.proggresFomGeneratePdfProgressBuffer(buffer),
            );
            return;
          }
          break;
        case dto.GeneratePdfCallbacks.complete:
          if (buffer != null) { /// <- at this place
            onComplete(
              DtoPdfDocument.fromGeneratePdfCompleteBuffer(buffer),
            );
            return;
          }
          break;
        default:
          super.callback(index, buffer);
          break;
      }

I think it is wrong behavior.

[pq]

Thanks for the report @EvGeniyLell. This lint has a number of known issues and could definitely use some attention (or deprecation and removal). Sorry for the inconvenience.

[swch01]

Possible duplicates: #57601 and #57551

[srawlins]

We've deprecated invariant_booleans and will not be fixing correctness bugs going forward.