> can I bill you for the type inference crashes and workarounds I've had to do because no one bothered saying anything until August 2020?

That's not related to the decidability of that specific algorithm in the generics implementation, though.

Did you file bugs for the type checker problems you found? (I’m not being snarky; I’d love to take a look at them)