From 1ec63f8aa730d18b5d5dc66492ad00bdcb28a6d4 Mon Sep 17 00:00:00 2001
From: Joe Savona <joesavona@fb.com>
Date: Mon, 9 Jun 2025 11:11:25 -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]