Three Dollar Quill

I thought I was going to get more done today, but whatever. I did a deep dive on the saltate plugin in MOTR, and realized that it's actually kind of broken in ways that haven't mattered to me. If I can fix this, the way to fix it is to find a set of type arguments to the origin of the instance type that cause it to unify with the target type. (I wrote a comment to this effect, but I'd forgotten what I meant until this exact moment.)

My plan here is to copy this code into a new project, touch it up, and publish it.

Quick thoughts on how to implement what I was saying... I guess I need to confirm that I have an Instance, and create a version with synthetic type variables. Can I do that? Seems like a pain, but it looks like I can do stuff with TypeVarType. At that point, it might be possible to pull code out of unify_generic_callable.

It's not worth thinking about this any further tonight, but I can play with this in a day or two.

Good night.