@kotlin.Metadata
public interface Deprecated {
    // source: 'interfaceProperty.kt'
    public synthetic deprecated static @Foo method getProp$annotations(): void
    public abstract @org.jetbrains.annotations.NotNull method getProp(): java.lang.String
}

@kotlin.annotation.Target(allowedTargets=[PROPERTY])
@java.lang.annotation.Retention(value=RUNTIME)
@java.lang.annotation.Target(value=[])
@kotlin.Metadata
public annotation class Foo {
    // source: 'interfaceProperty.kt'
}
