I guess that's why it's called experimental. And I guess they figured that since the whole point of the feature is to avoid runtime overhead of classes whose virtual functions are all consteval, it should actually do that. If it would make them polymorphic as normal, it would defeat the point of the feature. Neat feature.