{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"));"}]}
                    ));
                        tcx, def_id, ty, /* should_check_for_sync */ true,
                }