{"ast_node_type":"variable","tokens":[{"end":40,"kind":"keyword","start":0,"text":"let"}]}
                        let obligation =
                            tcx.infer_ctxt().build_with_typing_env(ccx.typing_env);
                            Obligation::new(tcx, ObligationCause::dummy(), param_env, trait_ref);