Predicate UselessUpcast::hasExtensionMethod

Holds if extension method m is a method on t with name name.

predicate hasExtensionMethod(ValueOrRefType t, ExtensionMethod m, string name)