{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"sym::assume"}]}
        sym::assume => (0, 0, vec![tcx.types.bool], tcx.types.unit),
        sym::select_unpredictable => (1, 0, vec![tcx.types.bool, param(0), param(0)], param(0)),