1 files changed, 17 insertions, 0 deletions
diff --git a/macros/src/check.rs b/macros/src/check.rs
new file mode 100644
index 00000000..ddd9abc4
--- /dev/null
+++ b/macros/src/check.rs
@@ -0,0 +1,17 @@
+use syntax::Resources;
+use util::{Ceiling, Ceilings};
+
+pub fn resources(resources: &Resources, ceilings: &Ceilings) {
+    for resource in resources.keys() {
+        if let Some(ceiling) = ceilings.get(&resource) {
+            assert_ne!(
+                *ceiling,
+                Ceiling::Owned,
+                "{} should be local data",
+                resource
+            );
+        } else {
+            panic!("resource {} is unused", resource)
+        }
+    }
+}