Checks that a corresponding type argument is passed when a generic type is used in a function, interface or class declaration