"Sealed Interface Members"

interface IExampleInterface {
	sealed int GetValue() => 123;
}

class ExampleClass : IExampleInterface {
	public int GetValue() => 456; // No warning
}

class Program {
    static void Main() {
        var e = new ExampleClass();

		Console.WriteLine(e.GetValue()); // Prints 456
		Console.WriteLine(((IExampleInterface) e).GetValue()); // Prints 123
    }
}