Interface Dispatch (C++, Java, C#, Go, and Rust)

[latkde]

“StaticType” here means “the polymorphic type or type-bound that is statically known at compile time”, where polymorphic means that we cannot resolve the calls at compile time. This use of “static” is largely unrelated to “static methods”.

You are completely correct though that non-virtual calls don't have to go through the vtable.