`type(of: s).foo()` gotcha

[ole (Ole Begemann)]

I asked a similar question a few years ago. See @Slava_Pestov's reply then: Calling type(of:) on an opaque function argument (some P) - #2 by Slava_Pestov

@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.