On Wednesday, 30 November 2022 at 13:45:09 UTC, Paul Backus wrote: > - User-defined value ranges for aggregate fields (e.g., pointer > that can't be null, integer that can't go above/below a certain > limit). Don't we kind of have this with `invariant`?