<div dir="ltr">I'm wading through little by little, but I clearly still have a lot to learn... sorry if I'm bothering you with questions!<div><br></div><div>Comparing the SIL for the `<b>completionBlock</b>` getter, which is imported as ()->()...<div><br></div><div><div> %15 = class_method [volatile] %14 : $NSOperation, #NSOperation.completionBlock!getter.1.foreign : NSOperation -> () -> <b><i>(() -> ())?</i></b> , $@convention(objc_method) (NSOperation) -> @autoreleased <b><i>Optional<@convention(block) () -> ()></i></b></div></div><div><br></div><div> Here I see that "@convention(block)" is retained in the type information, and appears in the expanded form Optional<@convention(block) ()->()>, even though the getter completionBlock getter is of type "NSOperation -> () -> (() -> ())?", and ()->() is what we see in generated interfaces.</div><div><br></div><div>...vs. the `<b>executionBlocks</b>` getter, which is imported as [()->()]...<br></div><div><br></div><div><div> %11 = class_method [volatile] %10 : $NSBlockOperation, #NSBlockOperation.executionBlocks!getter.1.foreign : NSBlockOperation -> () -> <b><i>[() -> ()]</i></b> , $@convention(objc_method) (NSBlockOperation) -> @autoreleased Optional<NSArray></div><div> %12 = apply %11(%10) : $@convention(objc_method) (NSBlockOperation) -> @autoreleased Optional<NSArray></div></div><div><div> %13 = function_ref @_TF10Foundation22_convertNSArrayToArrayurFGSqCSo7NSArray_GSax_ : $@convention(thin) <τ_0_0> (@owned Optional<NSArray>) -> @owned Array<τ_0_0></div><div> %14 = apply <b><i>%13<() -> ()></i></b>(%12) : $@convention(thin) <τ_0_0> (@owned Optional<NSArray>) -> @owned Array<τ_0_0></div></div></div><div><div> release_value %14 : <b><i>$Array<() -> ()></i></b></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">I don't see @convention(block) anywhere here. And when I check the type of static_cast<FunctionTypeMetadata*>(T)->getConvention(), from inside findBridgeWitness, the convention is Swift.</div><div class="gmail_extra"><br></div><div class="gmail_extra">So not only is there no conformance for blocks (which seems like an easy thing to add, like you said, similarly to _BridgeableMetatype), but I think the @convention(block) is being <b>completely lost</b> by adjustTypeForConcreteImport. Is this true or am I missing something?</div><div class="gmail_extra"><br></div><div class="gmail_extra">How is @convention(block) retained after importing in order to produce the right type from completionBlock.getter, namely Optional<@convention(block) ()->()>, but it appears only as Optional<()->()> in the generated interface? Why does this mechanism not produce a call to _convertNSArrayToArray<@convention(block) ()->()>, but only _convertNSArrayToArray<()->()> ?</div>
<div class="gmail_extra"><br></div><div class="gmail_extra"><div><div><div dir="ltr"><div>Jacob<br></div></div></div></div>
<br><div class="gmail_quote">On Fri, Mar 4, 2016 at 9:46 AM, Joe Groff <span dir="ltr"><<a href="mailto:jgroff@apple.com" target="_blank">jgroff@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span><br>
> On Mar 3, 2016, at 10:12 PM, Jacob Bandes-Storch <<a href="mailto:jtbandes@gmail.com" target="_blank">jtbandes@gmail.com</a>> wrote:<br>
><br>
> I see, thanks for the clarification. How is it, then, that properties whose type is void(^)(void) already work fine?<br>
<br>
</span>For properties, we can statically bridge them by emitting thunk getters and setters at compile time. We have to do this dynamically for bridged containers since they can freely be in ObjC or Swift representation at runtime.<br>
<span><font color="#888888"><br>
-Joe</font></span></blockquote></div><br></div></div>