How does Region Inference work?

3

I would like to gain an understanding of the stable first, but I’ll check out the NLL after