From 0abc0bc4b0aaeeb055d1110c95c347cdf4e1f0e3 Mon Sep 17 00:00:00 2001
From: Jon Gjengset <jon@thesquareplanet.com>
Date: Fri, 10 Apr 2020 08:37:52 -0400
Subject: [PATCH] Stop ignoring miri leaks

Now that https://github.com/rust-lang/miri/issues/940 has been fixed,
and has landed in nightly
(https://github.com/rust-lang/rust/pull/70897), we should be able to run
miri with leak check enabled again!
---
 azure-pipelines.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 37906772..7f86caab 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -57,11 +57,7 @@ jobs:
            - miri
      - script: cargo miri setup
        displayName: cargo miri setup
-     # ignore leaks due to
-     # https://github.com/crossbeam-rs/crossbeam/issues/464
-     # which is
-     # https://github.com/rust-lang/miri/issues/940
-     - script: cargo miri -Zmiri-ignore-leaks test
+     - script: cargo miri test
        displayName: cargo miri test
  - job: asan
    dependsOn: deny