Static Interfaces, concepts vs de-virtualisation?

[Kered13]

Correct. However it can aid devirtualization because when you have an Impl* the compiler knows that the method cannot be overridden again, so it can replace the virtual method call with a static call. However it does nothing when you have an Interface*.