better type errors

2019-12-14 19:00:24 +01:00 · 2019-12-14 19:00:24 +01:00 · 47b2b84135
commit 47b2b84135
parent a4a9b16153
1 changed files with 1 additions and 1 deletions
--- 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>> {