Desugar -> default interface methods.