static type safety for required selection

[jasonkuhrt]

Perceived Problem

This will cause a runtime error:

const pokemons = await pokemon.query.$batch({
  pokemons: {
    $include: true,
    // name: true, <-- at least one field must be selected
  },
})

Ideas / Proposed Solution(s)

• At-least one field semantics will probably require some complex type utilities.
• (x) Thinking statically... we could define a union of all selection sets combinations wherein one field is required and rest are optional, but that would be a huge a union and probably not great on intelligence meaning this static approach wouldn't be much better or even worse than a fully type utility approach.

Big concerns here are reducing type legibility and/or performance without significant benefit.