iterators again

[Walter Bright]

Bruno Medeiros wrote:
> For example, in their proposal, I 
> still don't what is the typeof(fooptr) as in the code below:
>   final foo;
>   auto fooptr = &foo;
> even though I asked 2 or 3 times now.

It'll be an error, since there's no way to deduce the type of foo. But 
let's rewrite it as:
	final int foo;
	auto fooptr = &foo;
Since foo cannot change its value, then fooptr must be an invariant(int)*.


> And there also has not yet been 
> any mention of how const/final/etc. will work in regards of template 
> specialization (how to specialize on const, etc.).

It's written on paper, but not implemented. Designs have a way of 
morphing when they are actually implemented.