How does Region Inference work?

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