{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
        // We can't look at `tcx.sess` here as that can differ across crates, which can lead to
    fn contract_checks(_ecx: &InterpCx<$tcx, Self>) -> InterpResult<$tcx, bool> {
        // unsound differences in evaluating the same constant at different instantiation sites.