Calling type(of:) on an opaque function argument (some P)

[Slava_Pestov]

@ole

Question: is there a difference between these two variants in terms of the generated code? Is the version using type(of:) less efficient? Or are they identical?

type(of:) is always identical to the explicit version when the type(of:) is the base of a member type lookup.