using System;
using System.Diagnostics.CodeAnalysis;
#nullable enable
class Program
{
    [DoesNotReturn]
    static void Main()
    {
        Local();
        [DoesNotReturn] static void Local() { }; // expecting a warning, but got none
        [DoesNotReturn] static int Local1() => 1;  // expecting a warning but got none
    }
}