Check类之TypeValidation

（1）Validator类的visitTypeApply()方法

实例1：

class TestTypeVal<T extends InputStream>{
	TestTypeVal<String> a = null;
}

显示TypeApply语法结节的TestTypeVal<String>是不合法的，因为type argument为String是不在边界InputStream之内的。传入的JCTypeApply语法节点的结构如下：