@type t() :: %Reach.Check.Violation{
  actual_effects: [Reach.Effects.effect()] | nil,
  allowed_effects: [Reach.Effects.effect()] | nil,
  call: term(),
  callee_layer: term(),
  callee_module: term(),
  caller_layer: term(),
  caller_module: term(),
  disallowed_effects: [Reach.Effects.effect()] | nil,
  edges: term(),
  file: term(),
  function: term(),
  key: term(),
  layers: term(),
  line: term(),
  matched_layers: term(),
  message: term(),
  module: term(),
  path: term(),
  rule: term(),
  type: term()
}