[WIP] Enhance type mismatch error message

[herman5]

Problem

Type mismatches between declared parameter types in yield Gets provide an unclear and overly verbose error message. EG) snapshot = yield Get(Snapshot, PathGlobs, "foo") returns the following:

Exception: WithDeps(Inner(InnerEntry { params: {Console, OptionsBootstrapper, Specs}, rule: Task(Task { product: List, clause: [Select { product: Console }, Select { product: _Options }, Select { product: Specs }], gets: [Get { product: Snapshot, subject: PathGlobs }, Get { product: HydratedTargets, subject: Specs }, Get { product: BuildFileAddresses, subject: Specs }], func: list_targets(), cacheable: false }) })) did not declare a dependency on JustGet(Get { product: Snapshot, subject: str })

Relevant issue: #8349

Solution

The verbose entry and dependencies were replaced with subject instance type, product type, and a path to the offending method:

Exception: Unable to transform from str to Snapshot. See "pants_test.engine.rules:84:pathglobs_to_snapshot()"

[Eric-Arellano]

Closing out as stale - but, we would still love this change so please feel free to reopen if you have some time to work on it :)