The literal above is bound first and checked with satisfies so its per-row types SURVIVE —
that is what lets AnalyserChannelFact derive a union from a column instead of
restating one. This export keeps the widened annotation, so nothing that reads the contract
sees a different type than it did before.
The table, as every consumer has always read it.
The literal above is bound first and checked with
satisfiesso its per-row types SURVIVE — that is what lets AnalyserChannelFact derive a union from a column instead of restating one. This export keeps the widened annotation, so nothing that reads the contract sees a different type than it did before.