{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"Instance::expect_resolve(tcx,"}]}
        Instance::expect_resolve(tcx, ty::TypingEnv::fully_monomorphized(), def_id, args, DUMMY_SP)
        let args = tcx.mk_args(&[ty.into()]);
    }