Predicate UncheckedReturnValue::methodHasGenericReturnType

Holds if the return type of m is an instantiated type parameter from m.

predicate methodHasGenericReturnType(ConstructedMethod cm)