"When no arm matches, alt constructs do not silently fall through—they blow up instead." But then later: "Having no clauses match when evaluating an alt check expression."