default arguments to type constructor parameters
Closed this issue · 1 comments
gavinking commented
This code breaks the typechecker:
class Foo<T=List>() given T<U> { }
Foo<List>(); //ok
Foo<>(); bad
gavinking commented
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.