> compile time abstract base class would enable compile time resolution of virtuals. so then i can do compile-time polymorphism

What's wrong with static polymorphism that have been around for at least 31 years? (1995 per [1]). Also know as CRTP [2] Apart, of course, from ugly verbose compilation errors...

And now c++23 "deducing `this`" [3,4] modern replacement which is supposed to improve compilation time and remove the verbose errors.

[1] https://www.artima.com/articles/the-most-important-c-non-boo...

[2] https://en.cppreference.com/cpp/language/crtp

[3] https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p08...

[4] https://devblogs.microsoft.com/cppblog/cpp23-deducing-this/