Solve constraints on vars bound in each clause of an inline fun

[erszcz]

This is here to track:

https://github.com/josefs/Gradualizer/blob/1498d1792155010950c86dc3e92ccb111b706e80/src/typechecker.erl#L2052-L2054