@swift-6.1.2 @swift-6.2-dev class Super {} class Sub: Super {} let a: () -> () -> Sub = {{ return Sub() }} let _: (() -> () -> Super)? = a (edited)