libraries/tools/kotlinp/jvm/testData/Properties.txt

// C.class
// ------------------------------------------
public final class C : kotlin/Any {

  // signature: <init>(Ljava/lang/String;)V
  public constructor(constructorParam: kotlin/String /* = ... */)

  // signature: getValue(Ljava/lang/Void;Ljava/lang/Object;Ljava/lang/Object;)Ljava/util/List;
  public final operator fun kotlin/Nothing?.getValue(x: kotlin/Any?, y: kotlin/Any?): kotlin/collections/List<kotlin/Nothing>

  // getter: getAccessorOnlyVar()I
  // setter: setAccessorOnlyVar(I)V
  public final var accessorOnlyVar: kotlin/Int
    public final /* non-default */ get
    public final /* non-default */ set(value: kotlin/Int)

  // field: constructorParam:Ljava/lang/String;
  // getter: getConstructorParam()Ljava/lang/String;
  public final val constructorParam: kotlin/String
    public final get

  // getter: getDelegated(Ljava/lang/Number;)Ljava/util/List;
  // synthetic method for delegate: getDelegated$delegate(LC;Ljava/lang/Number;)Ljava/lang/Object;
  public final /* delegated */ val <T#0 /* T */ : kotlin/Number> T#0.delegated: kotlin/collections/List<kotlin/Nothing>
    public final /* non-default */ get

  // getter: getGetterOnlyVal()D
  public final val getterOnlyVal: kotlin/Double
    public final /* non-default */ get

  // field: withBackingField:Ljava/lang/String;
  // getter: getWithBackingField()Ljava/lang/String;
  // setter: setWithBackingField(Ljava/lang/String;)V
  public final var withBackingField: kotlin/String
    public final get
    public final set

  // getter: getWithOptimizedDelegate()D
  // synthetic method for delegate: getWithOptimizedDelegate$delegate(LC;)Ljava/lang/Object;
  public final /* delegated */ val withOptimizedDelegate: kotlin/Double
    public final /* non-default */ get

  // module name: test-module
}
// META-INF/test-module.kotlin_module
// ------------------------------------------
module {
}