Function bind_foreach_key

src/completion/variable/forward_walk.rs:6868–6905

Bind a foreach key variable.

(
    key_expr: &'b Expression<'b>,
    iter_type: &Option<PhpType>,
    scope: &mut ScopeState,
    ctx: &ForwardWalkCtx<'_>,
)

/// Bind a foreach key variable.
fn bind_foreach_key<'b>(
    key_expr: &'b Expression<'b>,
    iter_type: &Option<PhpType>,
    scope: &mut ScopeState,
    ctx: &ForwardWalkCtx<'_>,
) {
    if let Expression::Variable(Variable::Direct(dv)) = key_expr {
        let var_name = dv.name.to_string();
        if let Some(it) = iter_type {
            let key_php_type = it.extract_key_type(false);
            if let Some(kt) = key_php_type {
                let resolved = crate::completion::type_resolution::type_hint_to_classes_typed(
                    kt,
                    &ctx.current_class.name,
                    ctx.all_classes,
                    ctx.class_loader,
                );
                if !resolved.is_empty() {
                    scope.set(
                        &var_name,
                        ResolvedType::from_classes_with_hint(resolved, kt.clone()),
                    );
                } else {
                    scope.set(&var_name, vec![ResolvedType::from_type_string(kt.clone())]);
                }
                return;
            }
        }
        // Default: key is int|string.
        scope.set(
            &var_name,
            vec![ResolvedType::from_type_string(PhpType::Union(vec![
                PhpType::int(),
                PhpType::string(),
            ]))],
        );
    }
}

/// Process a `while` loop.
///