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