From 3dcea2e947805b74b4780f304d1a0b7cc0ae6fb4 Mon Sep 17 00:00:00 2001
From: Will Crichton <wcrichto@cs.stanford.edu>
Date: Thu, 14 Oct 2021 16:57:01 -0700
Subject: [PATCH] Bump to 0.3.19

---
 Cargo.lock             | 2 +-
 Cargo.toml             | 2 +-
 ide/package.json       | 2 +-
 src/effects/visitor.rs | 4 +++-
 4 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index e6354a7a0..2bfe5802d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -73,7 +73,7 @@ dependencies = [
 
 [[package]]
 name = "flowistry"
-version = "0.3.18"
+version = "0.3.19"
 dependencies = [
  "anyhow",
  "cargo_metadata",
diff --git a/Cargo.toml b/Cargo.toml
index d2191e2f9..6bba725f6 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -2,7 +2,7 @@
 authors = ["Will Crichton <wcrichto@cs.stanford.edu>"]
 edition = "2018"
 name = "flowistry"
-version = "0.3.18"
+version = "0.3.19"
 description = "Powerful IDE tools for Rust"
 repository = "https://github.com/willcrichton/flowistry"
 license = "MIT"
diff --git a/ide/package.json b/ide/package.json
index 09f06113b..911cdac14 100644
--- a/ide/package.json
+++ b/ide/package.json
@@ -12,7 +12,7 @@
     "type": "git"
   },
   "description": "Powerful IDE tools for Rust",
-  "version": "0.3.18",
+  "version": "0.3.19",
   "engines": {
     "vscode": "^1.54.0"
   },
diff --git a/src/effects/visitor.rs b/src/effects/visitor.rs
index 8842fbca8..1155cbabb 100644
--- a/src/effects/visitor.rs
+++ b/src/effects/visitor.rs
@@ -27,6 +27,7 @@ impl FindEffects<'a, 'mir, 'tcx> {
   pub fn new(analysis: &'a flow::FlowAnalysis<'mir, 'tcx>) -> Self {
     let tcx = analysis.tcx;
     let body = analysis.body;
+    let domain = analysis.place_domain();
     let mut_args = body
       .args_iter()
       .map(|local| {
@@ -45,7 +46,8 @@ impl FindEffects<'a, 'mir, 'tcx> {
           .flatten()
       })
       .flatten()
-      .collect_indices(analysis.place_domain().clone());
+      .filter(|place| domain.contains(place))
+      .collect_indices(domain.clone());
     debug!("mut_args: {:#?}", mut_args);
 
     FindEffects {