{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"cx.tcx(),"}]}
                            cx.tcx(),
                        &ty::FnDef(def_id, args) => Instance::expect_resolve(
                            ty::TypingEnv::fully_monomorphized(),