{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"bx.cx().const_bool(val)"}]}
                        bx.cx().const_bool(val)
                        let val = bx.tcx().sess.contract_checks();
                    }