Is it possible to generate a fun interface with frontend extensions? I tried

FirDeclarationGenerationExtension

, but I didn't see where to specify a generated interface as

[fun]

, or I missed something? Thanks in advance。

There is an

isFun

flag in

FirDeclarationStatus