Extended Type Design.

[Tyler Knott]

Bruno Medeiros wrote:
> 
> Huh? Wait a second, but won't D have the same issue, albeit with 
> 'final'? For example, suppose you have:
>   final Foo foo;
> then what is:
>   typeof(&foo)
> ?
> 

invariant Foo* or const Foo*, depending on whichever is most appropriate for the situation.  I'd guess that invariant 
Foo* would be the default because it's semantically closest to what is being expressed (a pointer to immutable data), 
though const Foo* is also allowable because you can't modify data through const pointers either.