text: Данный пример демонстрирует две базовые структуры, используемые при добавлении контрактов в ваш код. static void Main(string! args) requires args.Length > 0 { foreach(string arg in args) { Console.WriteLine(arg); } } ! используется для создания ненулевого ссылочного типа, то есть вы не сможете присвоить ему нулевое значение.