compiler/testData/psi/sealedInterface.decompiledText.txt

// IntelliJ API Decompiler stub source generated from a class file
// Implementation of methods is not available

package test

public sealed interface SealedInterface {
    public final class Nested public constructor() : test.SealedInterface {
    }

    public object Top : test.SealedInterface {
    }
}