@R|spr/NonNullApi|() public open class A : R|kotlin/Any| {
    public open fun foo(x: R|Enhanced for warning(@EnhancedNullability kotlin/String) kotlin/String!|, @R|spr/Nullable|() y: R|Enhanced for warning(kotlin/CharSequence?) kotlin/CharSequence!|): R|Enhanced for warning(@EnhancedNullability kotlin/String) kotlin/String!|

    @R|spr/ForceFlexibility|() public open fun bar(x: R|kotlin/String!|, @R|javax/annotation/Nonnull|() y: R|@EnhancedNullability kotlin/CharSequence|): R|kotlin/String!|

    public constructor(): R|A|

}
@R|kotlin/annotation/Retention|(value = kotlin/annotation/AnnotationRetention.RUNTIME) @R|kotlin/annotation/MustBeDocumented|() @R|spr/UnknownNullability|() @R|javax/annotation/meta/TypeQualifierDefault|(value = <implicitArrayOf>(java/lang/annotation/ElementType.METHOD, java/lang/annotation/ElementType.PARAMETER)) public final annotation class ForceFlexibility : R|kotlin/Annotation| {
    public constructor(): R|spr/ForceFlexibility|

}
@R|kotlin/annotation/Target|(allowedTargets = vararg(kotlin/annotation/AnnotationTarget.CLASS, kotlin/annotation/AnnotationTarget.FILE; type = kotlin/Array<out kotlin/annotation/AnnotationTarget>, elementType = kotlin/annotation/AnnotationTarget)) @R|kotlin/annotation/Retention|(value = kotlin/annotation/AnnotationRetention.RUNTIME) @R|kotlin/annotation/MustBeDocumented|() @R|javax/annotation/Nonnull|() @R|javax/annotation/meta/TypeQualifierDefault|(value = <implicitArrayOf>(java/lang/annotation/ElementType.METHOD, java/lang/annotation/ElementType.PARAMETER)) public final annotation class NonNullApi : R|kotlin/Annotation| {
    public constructor(): R|spr/NonNullApi|

}
@R|kotlin/annotation/Target|(allowedTargets = vararg(kotlin/annotation/AnnotationTarget.VALUE_PARAMETER, kotlin/annotation/AnnotationTarget.FUNCTION, kotlin/annotation/AnnotationTarget.PROPERTY_GETTER, kotlin/annotation/AnnotationTarget.PROPERTY_SETTER; type = kotlin/Array<out kotlin/annotation/AnnotationTarget>, elementType = kotlin/annotation/AnnotationTarget)) @R|kotlin/annotation/Retention|(value = kotlin/annotation/AnnotationRetention.RUNTIME) @R|kotlin/annotation/MustBeDocumented|() @R|javax/annotation/Nonnull|(when = javax/annotation/meta/When.MAYBE) @R|javax/annotation/meta/TypeQualifierNickname|() public final annotation class Nullable : R|kotlin/Annotation| {
    public constructor(): R|spr/Nullable|

}
@R|kotlin/annotation/MustBeDocumented|() @R|javax/annotation/meta/TypeQualifierNickname|() @R|javax/annotation/Nonnull|(when = javax/annotation/meta/When.UNKNOWN) @R|kotlin/annotation/Retention|(value = kotlin/annotation/AnnotationRetention.RUNTIME) public final annotation class UnknownNullability : R|kotlin/Annotation| {
    public constructor(): R|spr/UnknownNullability|

}
