Annotation Type Infer


@Retention(RUNTIME) public @interface Infer
This type of annotation indicates that the return-types of a function's invocations will be inferred.

The compiler infers that the return-type is the type of the first actual argument.

This feature of the language helps to deal with the lack of generics.

Author:
Mackenzie High