compiler: test for primitive type arguments
compiler: test whether type parameters are defined in current scope