#!/usr/bin/env bash
# MSRV check is CI-only: cargo 1.59 can't resolve dev-deps (proptest) from
# the local registry index, and stable cargo + MSRV rustc fails on
# split-debuginfo. CI handles this in a clean environment.
RUSTDOCFLAGS="-D warnings"
if ; then
MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-ignore-leaks" \
else
fi