fix: function type generation for zero arg and scalar computed fields

[7ttp]

Problems

1. Zero arg functions cause columns with same name to be omitted from query types (never extends T is always true)
2. Scalar computed fields like name_translated(products) are not added to Row types

Solution

1. Use Record<PropertyKey, never> instead of never for zero-arg function Args
2. Include functions with single unnamed table/view parameters in filtering logic

Related

• Closes Nextjs Compile Error With SupabaseJS ( Not Nextjs Error ) supabase-js#1034
• Closes Functions with Args: never and names matching table columns cause columns to be omitted from select('*') return types #1039

[avallete]

I think this should already be covered by: https://github.com/supabase/postgres-meta/pull/1035/changes#diff-c903ec71df16a8ae5f665c19c21b273f74c2f8eb02f5e8a3552ebe69d18be18fR196-R198 🤔

[avallete]

This needs to be tested with the inference within https://github.com/supabase/supabase-js/tree/master/packages/core/postgrest-js as I expect this might break a few things.

I remember having to use never specifically here to be able to detect the difference between actual functions with args, and functions with no args. Using a Record<string, never> in my memory didn't allowed that.

[prem-2006]

I am working on it, can you assign this issue to me.

[zlotnika]

We'd really love to see this land — we just hit a second, independent breakage from Args: never beyond #1039.

We run a JSON-schema validation test over our generated types: ts-json-schema-generator converts the Database type to JSON Schema so we can validate JSONB rows against our column type overrides. An object with a required never property is uninhabited, so the generator (correctly, type-theoretically) collapses it to never — and that cascades: two zero-arg functions → Functions uninhabited → public uninhabited → the entire Database type becomes never/opaque.

Our workaround until this merges is injecting a custom node parser that rewrites never property signatures to unknown:

createParser(program, config, (p) =>
  p.addNodeParser({
    supportsNode: (n) => n.kind === ts.SyntaxKind.NeverKeyword && ts.isPropertySignature(n.parent),
    createType: () => new UnknownType(),
  }),
)

never really does mean "this function can never be called" — any tool doing sound type math on the generated types will fall over. Record<PropertyKey, never> (as in CLI v1.x and this PR) is the accurate type for "callable with no args".