specify that types can be omitted from augmenting declarations, and will be inferred from the original

[jakemac53]

Closes #3879

[davidmorgan]

Thanks! I suggest to tweak the blocks starting "The signature of the constructor augmentation" and "The signature of the function augmentation" at the same time, as the sense of these has now changed: you are not required to repeat everything, it won't necessarily be possible to see the full signature.

[jakemac53]

Thanks! I suggest to tweak the blocks starting "The signature of the constructor augmentation" and "The signature of the function augmentation" at the same time, as the sense of these has now changed: you are not required to repeat everything, it won't necessarily be possible to see the full signature.

Updated

[lrhn]

Pedantic nits. :)

[davidmorgan]

@jakemac53 oh, now I know why I couldn't comment properly ... GitHub doesn't let you comment on unchanged regions :(

The two regions with "...accomplish anything semantically. But it ensures that anyone reading the..." should probably be removed, they no longer make sense since you can omit information if you want to.

[jakemac53]

The two regions with "...accomplish anything semantically. But it ensures that anyone reading the..." should probably be removed, they no longer make sense since you can omit information if you want to.

I left these in, while the types are omitted the parameter names are still required.