class Steep::Diagnostic::Ruby::IncompatibleAnnotation

def header_line

def header_line
  "Type annotation about `#{var_name}` is incompatible since #{relation} doesn't hold"
end

def initialize(node:, var_name:, result:, relation:)

def initialize(node:, var_name:, result:, relation:)
  super(node: node, location: node.location.expression)
  @var_name = var_name
  @result = result
  @relation = relation
end