trailing-default-rule

Summary: Default rule should be declared first

Category: Style

Avoid

package policy

allow if {
    # some conditions
}

default allow := false

Prefer

package policy

default allow := false

allow if {
    # some conditions
}

Rationale

Presenting the default value of a rule (if one is used) before the conditional rule assignments is a common practice, and it's often easier to to reason about conditional assignments knowing there is a default fallback value in place. For that reason, it's recommended to follow the convention and place the default rule declaration before rules conditionally assigning values.

Configuration Options

This linter rule provides the following configuration options:

rules:
  style:
    trailing-default-rule:
      # one of "error", "warning", "ignore"
      level: error

Related Resources

• GitHub: Source Code