@autoclosure の関数は @autoclosureじゃない関数のサブタイプになれるって書いてあるコメントをみつけた // An @autoclosure function type can be a subtype of a // non-@autoclosure function type. (edited)