RecordFromId
See source codetype RecordFromId<K extends RecordId<UnknownRecord>> =
K extends RecordId<infer R> ? R : neverPrev
QueryValueMatcherNext
RecordIdtype RecordFromId<K extends RecordId<UnknownRecord>> =
K extends RecordId<infer R> ? R : never