public final class PropertyWithAnnotationKt {
    @org.jetbrains.annotations.NotNull @TestAnnotation private static final var prop1: int = 0
    @org.jetbrains.annotations.NotNull private static var prop3: int = 0
    public static final fun getProp1() : int = UastEmptyExpression
    @TestAnnotation
    public static final fun getProp2() : int = 0
    public static final fun getProp3() : int = 0
    @TestAnnotation
    public static final fun setProp3(@org.jetbrains.annotations.NotNull value: int) : void {
        field = value
    }
}

public abstract annotation TestAnnotation {
}