// A.class
// ------------------------------------------
// requires compiler version 1.4.0 (level=ERROR)
public abstract interface A : kotlin/Any {

  // signature: f()V
  public open fun f(): kotlin/Unit

  // module name: test-module

  // has method bodies in interface

  // is compiled in compatibility mode
}
// A$DefaultImpls.class
// ------------------------------------------
synthetic class
// B.class
// ------------------------------------------
// requires compiler version 1.4.0 (level=ERROR)
public abstract interface B : A {

  // module name: test-module

  // has method bodies in interface

  // is compiled in compatibility mode
}
// B$DefaultImpls.class
// ------------------------------------------
synthetic class
// META-INF/test-module.kotlin_module
// ------------------------------------------
module {
}