{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"Obligation::new(tcx,"}]}
                            Obligation::new(tcx, ObligationCause::dummy(), param_env, trait_ref);
                        let obligation =
                        let mut selcx = SelectionContext::new(&infcx);