// 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.
 
// This is needed due to NativeAOT which doesn't enable nullable globally yet
#nullable enable
 
namespace ILLink.Shared.DataFlow
{
	// This is a sum type over the various kinds of values we track:
	// - dynamicallyaccessedmembertypes-annotated locations (types or strings)
	// - known typeof values and similar
	// - known strings
	// - known integers
 
	public abstract record SingleValue : IDeepCopyValue<SingleValue>
	{
		// All values must explicitely declare their ability to deep copy itself.
		// If the value is immutable, it can "return this" as an optimization.
		// Note: Since immutability is relatively tricky to determine, we require all values
		//       to explicitly implement the DeepCopy, even though the expectation is that
		//       most values will just "return this".
		public abstract SingleValue DeepCopy ();
	}
}