Function synth

__tests__/resolution.test.ts:1159–1160

(id: string)

      expect(bufImpl, 'the generic impl is addressable by its type').toBeDefined();

      const synth = (id: string) =>
        cg.getOutgoingEdges(id).filter((e) => e.kind === 'calls' && e.provenance === 'heuristic');
      // Dispatch fans out from the declaration to BOTH implementations…
      const fromTrait = synth(traitMethod.id);
      expect(new Set(fromTrait.map((e) => e.target))).toEqual(new Set([fileImpl!.id, bufImpl!.id]));