1952

1 files changed, 8 insertions, 0 deletions

diff --git a/030container.cc b/030container.cc
index a4aba7fa..d53786c4 100644
--- a/030container.cc
+++ b/030container.cc
@@ -26,6 +26,14 @@ recipe main [
 +mem: storing 34 in location 3
 +mem: storing 35 in location 4
 
+//: trying to copy to a differently-sized destination will fail
+:(scenario copy_checks_size)
+% Hide_warnings = true;
+recipe main [
+  2:point <- copy 1:number
+]
++warn: main: size mismatch in storing to 2:point at '2:point <- copy 1:number'
+
 :(before "End Mu Types Initialization")
 // A more complex container, containing another container as one of its
 // elements.