syntax_data: {"ast_node_type":"function","tokens":[{"end":38,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub fn unnormalized_obligations<'tcx>(
context_before: /// take into account recursion depth or proper error-reporting spans.
context_after:     infcx: &InferCtxt<'tcx>,