Type inference for arguments with default values?


#1

Hi! My suggestion is, as it says in the title, to be able to infer types of arguments by looking at the type of a default value, if it is present. Example:

class Foo(val bar = "whee")

does not currently compile, giving the error: “A type annotation is required on a value parameter”. However, it seems to me like the type could easily be inferred from the value it defaults to. I may well be missing something, and of course it would not always work as it would be too ambiguous in a situation where the default value is null.


#2

The same thing about functions recently was discussed here.


#3

Ah I see, thanks!