{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
///     all the "potential success" candidates can potentially succeed,
///     - the "union" of evaluation results is equal to their maximum -
///     so they are noops when unioned with a definite error, and within