a default value is not necessarily a constant, it ...
# language-proposals
y
a default value is not necessarily a constant, it can also be a function call where the return type is omitted. supporting this would make it really complicated to understand what the parameter types are (and also make IDE/compiler slower)