No, it doesn’t. The reason is that we would then have to invalidate code when you add another subtype of X, which is not something we can currently track in the system (nor is it clear that it’s desirable).
10 Likes