{"ast_node_type":"function","tokens":[{"end":81,"kind":"keyword","start":0,"text":"fn"}]}
    fn contract_checks(_ecx: &InterpCx<$tcx, Self>) -> InterpResult<$tcx, bool> {
    #[inline(always)]
        // We can't look at `tcx.sess` here as that can differ across crates, which can lead to