[hir][be] Use .kind() to update and find ValueKind
Sathya Gunasekaran committed
Oct 24, 2022 at 15:49 UTC
152c3e81d3f07371b496e3e9f3c39b761399f872
1 file changed
+1
-6
compiler/forget/src/HIR/InferReferenceEffects.ts
+1
-6
@@ -253,12 +253,7 @@ class Environment {
253
place.effect = effectKind === Effect.Mutate ? Effect.Mutate : Effect.Read;
254
return;
255
}
256
- let valueKind: ValueKind | null = null;
257
- for (const value of values) {
258
- const kind = this.#values.get(value)!;
259
- valueKind = valueKind !== null ? mergeValues(valueKind, kind) : kind;
260
- }
261
- invariant(valueKind !== null, "Expected a value to be set");
256
+ let valueKind: ValueKind | null = this.kind(place);
257
let effect: Effect | null = null;
258
switch (effectKind) {
259
case Effect.Freeze: {