From 4869095e615f4e058662c067c297158b9735b237 Mon Sep 17 00:00:00 2001 From: Arseny Kapoulkine Date: Tue, 1 Feb 2022 20:57:21 -0800 Subject: [PATCH] Update generalized-iteration.md --- rfcs/generalized-iteration.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/rfcs/generalized-iteration.md b/rfcs/generalized-iteration.md index c2ca7a22..040ffb64 100644 --- a/rfcs/generalized-iteration.md +++ b/rfcs/generalized-iteration.md @@ -107,6 +107,8 @@ The resulting iteration behavior, while powerful, increases the divergence betwe The changes in insertion behavior that facilitate single iteration order may have a small cost; that said, they are currently understood to belong to paths that are already slow and the added cost is minimal. +The extra semantics will make inferring the types of the variables in a for loop more difficult - if we know the type of the expression that is being iterated through it probably is not a problem though. + ## Alternatives Two other major designs have been considered.