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