How would this allow compile-time resolution of virtuals that was not possible before?

Gcc can already do link-time devirtualization in some cases.