syntax_data: {"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"ocx.register_obligations(obligations);"}]}
source_snippet:     ocx.register_obligations(obligations);
context_before:         ocx.infcx.at(&ObligationCause::dummy(), param_env).query_normalize(value)?;
context_after:     Ok(value)