| // RUN_PIPELINE_TILL: FRONTEND | |
| interface ILeft { | |
| override fun toString(): String | |
| } | |
| interface IRight { | |
| override fun toString(): String | |
| } | |
| interface IDiamond : ILeft, IRight { | |
| <!METHOD_OF_ANY_IMPLEMENTED_IN_INTERFACE!>override fun toString(): String = "IDiamond"<!> | |
| } | |
| /* GENERATED_FIR_TAGS: functionDeclaration, interfaceDeclaration, override, stringLiteral */ |