From https://forum.dlang.org/post/ooraoriyrftjrpoygtnk@forum.dlang.org 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).