Type Alias TLinkViolationCode

Type Declaration

• "LINK_TARGET_MISMATCH"

  The snapshot is not the argument and version the response answers.

• "LINK_EXPRESSION_MISSING"

  The bound expression is not in the target snapshot.

• "LINK_INFERENCE_ON_NON_OPERATOR"

  An inference-aspect binding names an expression that is not an operator.

• "LINK_VERSION_MISMATCH"

  A binding names another version of the argument answered (rule E-10).

• "LINK_SAME_CLAIM"

  Two links bind different occurrences of one claim in the same aspect. Reported as information: it is legal, and the checks treat the two as one thing.