{ fenix, pkgs }:

let
  rust-nightly-toolchain = fenix.combine [
    fenix.latest.cargo
    fenix.latest.rustc
    fenix.latest.clippy
    fenix.latest.miri
  ];
in
pkgs.writeShellApplication {
  name = "cargo-miri";
  runtimeInputs = [ rust-nightly-toolchain ];
  text = ''
    set -x
    # https://github.com/proptest-rs/proptest/issues/253#issuecomment-1850534278
    : "''${PROPTEST_DISABLE_FAILURE_PERSISTENCE:=true}"
    : "''${MIRIFLAGS:=-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE}"
    export PROPTEST_DISABLE_FAILURE_PERSISTENCE MIRIFLAGS
    exec cargo "$@"
  '';
}