meta.unsatisfiable.unsatisfiable-rule

225
Download Count*
LGPL Commons Clause
License

You can not use $A and not $A together; this will always be empty

Run Locally

Run in CI

Semgrep CI docs

Defintion

Edit RuleView Source
Open in Playground 
rules:
  - id: unsatisfiable-rule
    message: |
      You can not use $A and not $A together; this will always be empty
    severity: ERROR
    languages:
      - yaml
    patterns:
      - pattern-inside: "rules: [..., $RULE, ...]"
      - pattern-inside: |
          ...
          - pattern: $A
          ...
      - pattern: |
          pattern-not: $A