This intention used to specify annotations for parameters and return type of a function.

If there is type information collected in run-time, it is used to set the default values of types.