// Copyright (c) .NET Foundation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
 
using System;
 
// This is needed due to NativeAOT which doesn't enable nullable globally yet
#nullable enable
 
namespace ILLink.Shared.DataFlow
{
	public sealed class Box<T> where T : struct
	{
		public Box (T value) => Value = value;
		public T Value { get; set; }
 
	}
 
	public interface IDataFlowState<TValue, TValueLattice>
		where TValue : struct, IEquatable<TValue>
		where TValueLattice : ILattice<TValue>
	{
		TValue Current { get; set; }
		Box<TValue>? Exception { get; set; }
		TValueLattice Lattice { get; init; }
	}
}