Copy trait...

1 files changed, 41 insertions, 0 deletions

diff --git a/tests/features/test_copy_trait.zc b/tests/features/test_copy_trait.zc
new file mode 100644
index 0000000..120dc5d
--- /dev/null
+++ b/tests/features/test_copy_trait.zc
@@ -0,0 +1,41 @@
+
+trait Copy {}
+
+struct Point {
+    x: int;
+    y: int;
+}
+
+impl Copy for Point {}
+
+struct Mover {
+    val: int;
+}
+
+fn test_copy_trait() {
+    var p1 = Point { x: 10, y: 20 };
+    var p2 = p1; // Copy, not move
+    
+    // Both should be valid
+    assert(p1.x == 10, "p1 invalid after copy");
+    assert(p2.x == 10, "p2 invalid after copy");
+    
+    // Modify p2, p1 should be unchanged
+    p2.x = 30;
+    assert(p1.x == 10, "p1 changed after p2 modification");
+    assert(p2.x == 30, "p2 modification failed");
+}
+
+fn test_move_default() {
+    var m1 = Mover { val: 1 };
+    var m2 = m1; // Moved
+    
+    // Uncommenting this should cause compile error
+    // var m3 = m1; 
+}
+
+fn main() {
+    test_copy_trait();
+    test_move_default();
+    "Copy Trait Works!";
+}