LabelMismatchError
fun LabelMismatchError(node: HasSourceLocation, actualLabel: Label, expectedLabel: Label)
Content copied to clipboard
Parameters
actualLabel
Inferred label for the node.
expectedLabel
Annotated label for the node.