1 files changed, 10 insertions, 0 deletions
diff --git a/048typecheck.cc b/048typecheck.cc
index 46225f94..f686f78f 100644
--- a/048typecheck.cc
+++ b/048typecheck.cc
@@ -67,3 +67,13 @@ recipe main [
   x <- add x, 1
 ]
 +mem: storing 2 in location 1
+
+:(scenario transform_warns_on_missing_types_in_first_mention)
+% Hide_warnings = true;
+recipe main [
+  x <- copy 1
+  x:number <- copy 2
+]
++warn: missing type in 'x <- copy 1'
++warn: x <- copy 1: reagent not initialized: x
++warn: main: size mismatch in storing to x at 'x <- copy 1'