{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
///     - the "union" of evaluation results is equal to their maximum -
///       implies `EvaluatedToAmbig` implies `EvaluatedToAmbigStackDependent`
///     all the "potential success" candidates can potentially succeed,