using System;

using System.Collections.Generic;

​

record Errorable(int Data, IEnumerable<int> Errors);

​

public class Program

{

    public static void Main()

    {

        Console.WriteLine("Hello World");

        IEnumerable<int> enumerable = new List<int> { 1, 2, 3, 4, 5, 6 };

        Errorable errorable = new Errorable(1, enumerable);

        var code = errorable switch {

            { Errors: ICollection<int> { Count: > 0 } } => 100,

            _ => 200

        };

        Console.WriteLine(code);

    }

}