Ilya Yanok

Uh.. I'm not sure it was supposed to appear here: still not submitted internally.

Oh yes, I added that Copybara presubmit recently. But I didn't realize it's going to be a public PR for every CL I try ;) Going to be fun :)

I'm not sure _correctly_ is the right word here. I think rejecting the misnamed import is the correct behavior, it's just I would expect it to happen earlier and with...

Hm... that makes it harder for me to reproduce, but I'll see what I can do. BTW, could you please try to check if it still behaves the same for...

Could be potentially fixed with https://github.com/dart-lang/mockito/issues/684. Actually I think we could get rid of internal state altogether.

Right, G3 relies on this now, I guess we have to fix the docs.

I'm not the one who asked for it originally but I can confirm that with `2.0.0-RC1` version I get UIDs that look close enough to the ones from Go implementation.

@be5invis not really. It is still just `solve`.

But it doesn't have to be. `.(f x)` is an assertion pattern, it can be any term, not just a constructor. Anyway, if you don't like it, if we switch...

Ok, doing some more research I think probably the root cause is not the unification. It seems like it's not even about injectivity, I can even prove any two elements...