From a701986fad9478029e8fac6f93080fb17192785c Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Fri, 7 Aug 2015 13:01:49 -0700
Subject: 1952

---
 030container.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to '030container.cc')

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.
-- 
cgit 1.4.1-2-gfad0