Function process_assignment

internal/cbm/lsp/php_lsp.c:1428–1455

Recognise `$x = new Foo(...)` / `$x = Foo::create()` etc. and bind the LHS. */

/* Recognise `$x = new Foo(...)` / `$x = Foo::create()` etc. and bind the LHS. */
static void process_assignment(PHPLSPContext *ctx, TSNode node) {
    TSNode lhs = ts_node_child_by_field_name(node, "left", 4);
    TSNode rhs = ts_node_child_by_field_name(node, "right", 5);
    if (ts_node_is_null(lhs) || ts_node_is_null(rhs))
        return;
    if (!node_is(lhs, "variable_name"))
        return;
    char *t = php_node_text(ctx, lhs);
    if (!t)
        return;
    const char *name = (t[0] == '$') ? t + 1 : t;
    if (strcmp(name, "this") == 0)
        return;
    const CBMType *rhs_type = php_eval_expr_type(ctx, rhs);
    if (rhs_type && rhs_type->kind != CBM_TYPE_UNKNOWN) {
        /* Don't override a more-specific (NAMED/TEMPLATE) binding with
         * a trivial null literal — preserves `@var T $x; $x = null;`. */
        if (rhs_type->kind == CBM_TYPE_BUILTIN && rhs_type->data.builtin.name &&
            strcmp(rhs_type->data.builtin.name, "null") == 0) {
            const CBMType *existing = cbm_scope_lookup(ctx->current_scope, name);
            if (existing &&
                (existing->kind == CBM_TYPE_NAMED || existing->kind == CBM_TYPE_TEMPLATE)) {
                return;
            }
        }
        cbm_scope_bind(ctx->current_scope, name, rhs_type);
    }
}

static void process_foreach(PHPLSPContext *ctx, TSNode node) {
    /* Try to extract the iterable expression's element type. tree-sitter-php