Struct cranelift_isle::serialize::MatchArm
source · pub struct MatchArm {
pub constraint: Constraint,
pub bindings: Vec<Option<BindingId>>,
pub body: Block,
}
Expand description
One concrete pattern and the block to evaluate if the pattern matches.
Fields§
§constraint: Constraint
The pattern to match.
bindings: Vec<Option<BindingId>>
If this pattern matches, it brings these bindings into scope. If a
binding is unused in this block, then the corresponding position in the
pattern’s bindings may be None
.
body: Block
Steps to evaluate if the pattern matched.