Ironclad C++

[Walter Bright]

On 8/3/2013 4:32 PM, bearophile wrote:
> The paper explains the various cases: assign from ptr<T> into lptr<T>, assign
> from lptr<T> into ptr<T>, and assign from lptr<T> into lptr<T>.
>
> So with a mix of run-time tests and a small amount of static analysis the code
> is safe and fast enough. It seems a simple enough idea.

The problem with different pointer types is, of course, what do you do with 
functions that take pointers as arguments?