More detailed doc on the closurized Array attribute
@@ -186,7 +186,10 @@ impl Default for BindingType {
/// The attributes of an Array.
#[derive(Debug, Default, Eq, PartialEq, Copy, Clone)]
pub struct ArrayAttrs {
- /// This is `true` when all of the array's elements are closurized.
+ /// A `closurized` array verifies the following conditions:
+ /// - Each element is a generated variable with a unique name (although the same
+ /// variable can occur in several places, it should always refer to the same thunk anyway).
+ /// - The environment of the array's closure only contains those generated variables.
pub closurized: bool,
}
