#nullable enable

​

using System;

using Microsoft;

public class Program

{

    public static void Main()

    {

        Console.WriteLine("Hello World");

        Foo? str = null;

​

        Requires.NotNull(str, "");

    }

    private class Foo {

    }

}