Predicate Impl::isOverloaded
Holds if the operator op with arity arity is overloaded to a trait with
the canonical path path and the method name method, and if it borrows its
first borrows arguments.
Import path
import codeql.rust.elements.internal.OperationImpl