The result type of query() should use a CollectionHeader instead of a Header for the document's source, since the Rust type is known.
This will require refactoring the internal view mapping code as the Map type is reused. A separate type will need to be used for that section of code which retains the Header type.
The result type of
query()
should use aCollectionHeader
instead of aHeader
for the document's source, since the Rust type is known.This will require refactoring the internal view mapping code as the
Map
type is reused. A separate type will need to be used for that section of code which retains theHeader
type.