{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"tcx,"}]}
                        tcx, def_id, ty, /* should_check_for_sync */ true,
                    res = res.and(wfcheck::check_static_item(
                    ));