Decompiling default interface methods: a method body inside an interface, the class that never overrode it, and the cast you cannot drop

For as long as there have been .NET decompilers, one rule held: interfaces declare signatures, classes supply bodies. A default interface method, introduced in C# 8 on .NET Core 3.0, breaks that rule