check.return

← check dialect

Terminates a check.case body.

Operation contract

Property	Value
Semantic phase	—
Traits	Terminator, HasAncestor(check.case)

Signature

This operation has no operands, results, attributes, or regions.

Examples

check.return