eclipse-archived/ceylon

default arguments to type constructor parameters

Closed this issue · 1 comments

This code breaks the typechecker:

class Foo<T=List>() given T<U> { }
Foo<List>(); //ok
Foo<>();  bad

Fixed. The issue here was the legacy support for writing List meaning the type we now write List<>. I've removed the old deprecated syntax (which resulted in a warning) for 1.4.