Test custom conformance to 'Movable'

hylo-lang · Sep 17, 2023 · f0299fd · f0299fd
1 parent 1bfdab8
commit f0299fd
Showing 1 changed file with 32 additions and 0 deletions.
diff --git a/Tests/EndToEndTests/TestCases/CustomMove.hylo b/Tests/EndToEndTests/TestCases/CustomMove.hylo
@@ -0,0 +1,32 @@
+//- compileAndRun expecting: success
+
+type A: Deinitializable {
+  var witness: Int
+  public var x: Int
+  public init(x: sink Int) {
+    &self.x = x
+    &self.witness = 0
+  }
+}
+
+conformance A: Movable {
+  public fun take_value(from source: sink Self) -> {self: Self, Void} {
+    set {
+      &self.x = source.x
+      &self.witness = 0
+    }
+    inout {
+      &self.x = source.x
+      &self.witness += 1
+    }
+  }
+}
+
+public fun main() {
+  var s = A(x: 1)
+  &s = A(x: 2)
+  &s = A(x: 2)
+
+  precondition(s.x == 2)
+  precondition(s.witness == 2)
+}