/// <summary>
/// Initializes a new instance of the <see cref="Annotation" /> class from the specified instance.
/// </summary>
/// <param name="other">
/// The instance from which the new instance is to be initialized.
/// </param>
/// <exception cref="ArgumentNullException">
/// Thrown if <paramref name="other" /> is null.
/// </exception>
public Annotation(Annotation other)
{
if (other == null)
{
throw new ArgumentNullException(nameof(other));
}
Init(other.Message, other.Locations);
}
public bool ValueEquals(Annotation other) => ValueComparer.Equals(this, other);
