@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
@java.lang.annotation.Retention
@java.lang.annotation.Target
@kotlin.Metadata
public annotation class Foo {
    // source: 'interfaceProperty.kt'
}
