Why are proposed but unimplemented features appearing in Microsoft .NET examples?

Question

This DI, Dependency Injection, example has an async Main for a .NET program. Link

class Program
{
    static Task Main(string[] args) =>
        C