From 9f6fe70f38e7ba12faa51c6a20780597b85f68ef Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Thu, 13 Apr 2023 14:43:47 +0200
Subject: [PATCH] Fix regression in type checking of extensible records

---
 src/checker.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/checker.ts b/src/checker.ts
index 365535263..d4aa097cf 100644
--- a/src/checker.ts
+++ b/src/checker.ts
@@ -2120,14 +2120,14 @@ export class Checker {
             {
               const fieldType = this.createTypeVar();
               this.inferBindings(member.pattern, fieldType, typeVars, constraints);
-              structType = new TField(member.name.text, new TPresent(fieldType), fieldType, pattern);
+              structType = new TField(member.name.text, new TPresent(fieldType), structType, pattern);
               break;
             }
             case SyntaxKind.PunnedStructPatternField:
             {
               const fieldType = this.createTypeVar();
               this.addBinding(member.name.text, Forall.mono(fieldType), Symkind.Var);
-              structType = new TField(member.name.text, new TPresent(fieldType), fieldType, pattern);
+              structType = new TField(member.name.text, new TPresent(fieldType), structType, pattern);
               break;
             }
             case SyntaxKind.VariadicStructPatternElement: