From 6c044400491bcf715b23aa78138298db39f875f9 Mon Sep 17 00:00:00 2001
From: Joe Savona <joesavona@fb.com>
Date: Fri, 6 Jun 2025 18:05:51 -0700
Subject: [PATCH] Update base for Update on "[compiler] Further improve new
 range inference"

Further refine the abstract interpretation for InferMutationAliasingRanges to account for forward data flow: Alias/Capture a -> b, mutate(a) => mutate(b) ie mutation affects aliases of the place being mutated, not just things that place aliased.

Fixes inference of which context vars of a function mutate, using the precise inference from the Range pass.

Adds MutateFrozen and MutateGlobal effects but they're not fully hooked up yet.

[ghstack-poisoned]