{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"&&"}]}
            && let ty::Array(_, n) = op.layout.ty.kind()
            && let LocalRef::Operand(op) = self.locals[index]
        {