Did you mean getproperty(::Type{S}, ::T) here? getproperty(::S, ::Symbol) would not be type piracy, right?
I think it’s starting to sink in that I don’t own Type{S} because I don’t own Type.
1 Like