TraceElement (@NotNull Value key, @Nullable Value value) { if (key instanceof IntegerValue) { return new TraceElementImpl(((IntegerValue)key).value(), value); } throw new UnexpectedValueException("key must be an integer value"); }