check.return¶
Terminates a check harness or comparison body.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | Terminator, HasAnyAncestor(check.case, check.scenario) |
Signature¶
This operation has no operands, results, attributes, or regions.