fun foo(): @Anno3 @Anno2 @Anno1 (() -> kotlin.Unit)
