From d19c64845d1a9a6dad97bb83edd9c81306798220 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Wed, 12 Apr 2023 21:52:10 +0200
Subject: [PATCH] Add test regarding assignment and polymorphism

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

diff --git a/src/test/type-inference.md b/src/test/type-inference.md
index 900568fde..e53bcc8e7 100644
--- a/src/test/type-inference.md
+++ b/src/test/type-inference.md
@@ -195,3 +195,17 @@ mod CD.
     let alpha: A.Foo
 ```
 
+
+## A polymorphic function is properly generalized when assigned to a new variable
+
+```
+let id x = x
+let id2 = id
+let id3 = id
+
+id3 1
+id3 "bla"
+
+id2 1
+id2 "bla"
+````