==================
slice_index
==================

module

proc f()
var
  a: []Int
  x: Int
  p: ^Int
begin
  x := a[1];
  a := p[1u to 10u]
return

end.

---

(source_file
  (module_declaration
    (procedure_declaration
      (identifier_definition
        (identifier))
      (parameter_list)
      (procedure_body
        (block
          (var_section
            (variable_declaration
              (identifier_definition
                (identifier))
              (slice_type
                (identifier)))
            (variable_declaration
              (identifier_definition
                (identifier))
              (identifier))
            (variable_declaration
              (identifier_definition
                (identifier))
              (pointer_type
                (identifier))))
          (assignment_statement
            (identifier)
            (index_expression
              (identifier)
              (literal
                (integer))))
          (assignment_statement
            (identifier)
            (slice_expression
              (identifier)
              (literal
                (integer))
              (literal
                (integer)))))
        (return_clause)))))