Add comment

marcospassos · marcospassos · commit a6ef778775bc · 2025-01-09T17:11:13.000-03:00
diff --git a/src/relativePointer.ts b/src/relativePointer.ts
@@ -271,7 +271,8 @@ export class JsonRelativePointer implements JsonConvertible {
             return segment;
         }
 
-        return this.getRemainderPointer().get(value as T);
+        // Given V = typeof value, and typeof value ⊆ ReferencedValue<T> → ReferencedValue<K> ⊆ ReferencedValue<T>
+        return this.getRemainderPointer().get(value) as ReferencedValue<T>;
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -271,7 +271,8 @@ export class JsonRelativePointer implements JsonConvertible {`
`271`	`271`	`return segment;`
`272`	`272`	`}`
`273`	`273`
`274`		`- return this.getRemainderPointer().get(value as T);`
	`274`	`+ // Given V = typeof value, and typeof value ⊆ ReferencedValue<T> → ReferencedValue<K> ⊆ ReferencedValue<T>`
	`275`	`+ return this.getRemainderPointer().get(value) as ReferencedValue<T>;`
`275`	`276`	`}`
`276`	`277`
`277`	`278`	`/**`