syntax_data: {"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"Err(())"}]}
source_snippet:                 Err(()) => Ok(EvaluatedToErr),
context_before:                 Ok(obligations) => this.evaluate_predicates_recursively(stack.list(), obligations),
context_after:             }