{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"mir::NullOp::ContractChecks"}]}
                    mir::NullOp::ContractChecks => {
                    }
                        let val = bx.tcx().sess.contract_checks();