A Constraint records the fact that the RHS type does and must satisfy the LHS type, which is an interface.

A Finder inspects the type-checked ASTs of Go packages and accumulates the set of type constraints (x, y) such that x is assignable to y, y is an interface, and both x and y have methods.