Predicate usesType

Bind the reference type dep to the source declaration of any types used to construct t, including (possibly nested) type parameters of parameterized types, element types of array types, and bounds of type variables or wildcards.