syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"assert!(!term.is_infer(),"}]}
source_snippet:         assert!(!term.is_infer(), "should have resolved vars before calling");
context_before:     ) -> Result<ty::Term<'tcx>, Vec<E>> {