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