public class A {
    private final @org.jetbrains.annotations.NotNull field v: java.lang.String
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public @org.jetbrains.annotations.NotNull method getV(): java.lang.String
}


public class B {
    private final @org.jetbrains.annotations.NotNull field v: java.lang.String
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public final @org.jetbrains.annotations.NotNull method a(@org.jetbrains.annotations.NotNull p0: java.lang.String): A
    public @org.jetbrains.annotations.NotNull method getV(): java.lang.String
}


public final class ThisInConstructorKt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
}
