Extended Type Design.

[Andrei Alexandrescu (See Website For Email)]

jovo wrote:
> Andrei Alexandrescu (See Website For Email) Wrote:
>> Yes. D's const is transitive.
>>
> 
> So:
> finall = stage0_nontransitive_const?
> const = stage1_transitive_const?

If I understand the above properly, yes.

> May be beter to separete concepts?
> 
> Do we need stage1_const?
> Do we need nontransitive_const?

So rarely that we decided they can be ruled out. They'd complicate the 
type system gravely, for very little benefit.

Andrei