[Avail] semantic restriction on leading types

[Robbert van Dalen]

hi,

i have an issue compiling the following code:

ttype : <number,string,float…|3>'s type := <number,string,float…|3>;
tdefault : float's type := ttype's default type;
tleading : <number,string>'s type := ttype's leading types;

.. the compiler complains about the following:

initializing expression's type (<(any)'s type…|>) to agree with declared type 
((<number, string>)'s type)

it appears that “_’s default type” is strengthened to a float type.
but “_’s leading types” is not strengthened.

any reason why?

cheers,
Robbert.