From 5c8a296cabbbe4610a4385e7d5b72c4d43d8590e Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Sun, 19 Mar 2023 17:03:30 +0100
Subject: [PATCH] Add a test for extensible records

---
 src/test/type-inference.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/test/type-inference.md b/src/test/type-inference.md
index 900568fde..471ee1ad2 100644
--- a/src/test/type-inference.md
+++ b/src/test/type-inference.md
@@ -195,3 +195,15 @@ mod CD.
     let alpha: A.Foo
 ```
 
+## Rest-expressions on extensible records work
+
+```
+struct Point.
+  x: Int
+  y: Int
+  z: Int
+
+let foo { x, y, .. } : Point -> Int = x + y
+
+foo { x = 1, y = 2 }
+```