/// <summary> /// Gets the value of the element as a non-empty <see cref="string"/>. /// </summary> public static string GetNonEmptyString(this JsonElement element) => element.GetNonEmptyStringOrNull() ?? throw new InvalidOperationException( "Cannot read the specified JSON element as a non-empty string value." );