On inlining in C++

[Robert Dewar]

> 
> I use C++ because it implicitly trusts the programmer; that is part of 
> the core C++ philosophy.

Even the mechanism of dispatchinhg calls is completely undefined (and there
are indeed two radically different mechanisms, one of which has no overhead
from multiple inheritance, but costs quite a bit if you use MI). There are
many things in C++ where the programmer has very little control (elaboration
is another example).