@Override
		public FieldSpan closed(End<Field> min, End<Field> max) {
			if (!min.isValidMin()) {
				throw new IllegalArgumentException("Invalid min: " + min);
			}
			if (!max.isValidMax()) {
				throw new IllegalArgumentException("Invalid max: " + max);
			}
			return super.closed(min, max);
		}
The domain of field values, allowing open endpoints
Ghidra/Debug/ProposedUtils/src/main/java/ghidra/util/database/FieldSpan.java