namespace FSharp.Compiler.Diagnostics
{
    [CompilationMapping(SourceConstructFlags.Module)]
    public static class ExtendedData
    {
        [CompilationMapping(SourceConstructFlags.SumType)]
        [DebuggerDisplay("{__DebugDisplay(),nq}")]
        [Experimental("This FCS API is experimental and subject to change.")]
        [RequireQualifiedAccess]
        public sealed class DiagnosticContextInfo : IStructuralComparable, IStructuralEquatable, IComparable, IComparable<DiagnosticContextInfo!>, IEquatable<DiagnosticContextInfo!>
        {
            [DebuggerBrowsable(DebuggerBrowsableState.Never)]
            [DebuggerNonUserCode]
            public static DiagnosticContextInfo! RecordFields
            {
                [CompilationMapping(SourceConstructFlags.UnionCase, 4)]
                get;
            }

        }
    }
}