# List subscripts

## Indexing into lists

A list can be indexed into with:

- numbers
- slices

```py
x = [1, 2, 3]
reveal_type(x)  # revealed: list[@Todo(list literal element type)]

# TODO reveal int
reveal_type(x[0])  # revealed: @Todo(list literal element type)

# TODO reveal list[int]
reveal_type(x[0:1])  # revealed: list[@Todo(list literal element type)]

# error: [invalid-argument-type]
reveal_type(x["a"])  # revealed: Unknown
```

## Assignments within list assignment

In assignment, we might also have a named assignment. This should also get type checked.

```py
x = [1, 2, 3]
x[0 if (y := 2) else 1] = 5

# error: [invalid-assignment]
x["a" if (y := 2) else 1] = 6

# error: [invalid-assignment]
x["a" if (y := 2) else "b"] = 6
```
