From 669fd78e6e40dc0e04716b6a2aba33c3bd440a16 Mon Sep 17 00:00:00 2001
From: Joe Savona <joesavona@fb.com>
Date: Wed, 4 Jun 2025 16:48:16 -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]