check.case

← check dialect

Named correctness harness.

Operation contract

Property	Value
Semantic phase	—
Traits	SymbolDefine, IsolatedFromAbove

Symbol contract

Property	Value
Kind	check case
Defining field	case_symbol
Interfaces	record
Flags	test only

Signature

Kind	Name	Type	Cardinality	Description
Attribute	case_symbol	symbol	required	—
Attribute	visibility	enum Visibility	optional	—
Region	body	region	required	Case body. (terminator check.return.)

Examples

check.case @empty {
  check.return
}

check.case public @smoke {
  check.return
}