Document why we shouldn't be tracing module -> child edges

1 files changed, 6 insertions, 1 deletions

diff --git a/src/ir/item.rs b/src/ir/item.rs
index df8fd222..ac2d122e 100644
--- a/src/ir/item.rs
+++ b/src/ir/item.rs
@@ -205,7 +205,12 @@ impl TypeCollector for Item {
             ItemKind::Var(ref var) => {
                 types.insert(var.ty());
             }
-            _ => {} // FIXME.
+            ItemKind::Module(_) => {
+                // Module -> children edges are "weak", and we do not want to
+                // trace them. If we did, then whitelisting wouldn't work as
+                // expected: everything in every module would end up
+                // whitelisted.
+            }
         }
     }
 }