@Retention(value=RUNTIME)
@Target(value={ANNOTATION_TYPE,TYPE})
public @interface TypeCheck
Ensure that assignments are of correct type. This will validate that the
left-hand class of an expression can accept the TypeCheck Class from the right-hand of the
expression.