presto-thrift-api/src/main/java/io/prestosql/plugin/thrift/api/valuesets/PrestoThriftRangeValueSet.java/PrestoThriftRange/PrestoThriftRange
class PrestoThriftRange:        @ThriftConstructor
        public PrestoThriftRange(PrestoThriftMarker low, PrestoThriftMarker high)
        {
            this.low = requireNonNull(low, "low is null");
            this.high = requireNonNull(high, "high is null");
        }