Remove the need for repeating the type bound

[rodinaarssen]

In, e.g., &T <: node foo(&T <: node t) = t, it is currently required to repeat the bound <: node in the return type, while the bound is fixed at the formal parameter. It would be great if we could remove the mandatory repetition.

[DavyLandman]

can we write something where the bound is not there in all the places?

&T <: node makeNode(&T t) = comp(t);
&Y comp(&Y x) = x when isNode(x);
default node comp(value x) = ""(x);

not sure if this is valid rascal..

[rodinaarssen]

It's the other bound that's unnecessary. In my example, I'd like to write &T foo(&T <: node t) = t. I don't know about your example, it feels strange to me that makeNode's return type is bounded, whereas the parameter type is not.

[jurgenvinju]

The return type is never free; it should be bound by the parameters so an extra bound on the return type is actually a static error.