using System;
using System.Diagnostics;

namespace JetBrains.Annotations;

[Obsolete("Use [ContractAnnotation('=> halt')] instead")]
[AttributeUsage(AttributeTargets.Method)]
[Conditional("JETBRAINS_ANNOTATIONS")]
internal sealed class TerminatesProgramAttribute : Attribute
{
}