From 47b2b841357dd723be0144ff4ae9eab51bba37a0 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sat, 14 Dec 2019 19:00:24 +0100
Subject: better type errors

---
 src/util/codec.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/codec.ts b/src/util/codec.ts
index 9f4dc295f..7dcf493a2 100644
--- a/src/util/codec.ts
+++ b/src/util/codec.ts
@@ -80,7 +80,7 @@ class ObjectCodecBuilder<T, TC> {
   /**
    * Define a property for the object.
    */
-  property<K extends keyof T & string, V>(
+  property<K extends keyof T & string, V extends T[K]>(
     x: K,
     codec: Codec<V>,
   ): ObjectCodecBuilder<T, TC & SingletonRecord<K, V>> {
-- 
cgit v1.2.3