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

[xwu (Xiaodi Wu)]

@ksluder

It seems like this should compile just fine, because the compiler should be able to statically reason that type(of: S.self) is an expression of type S.Type.

You may have been misled by the suggestive variable name: s in OP’s example is not of type S but is of some type T: P.