Skip to content

Commit

Permalink
Add list index stub tests
Browse files Browse the repository at this point in the history
  • Loading branch information
rtpg committed Oct 16, 2024
1 parent 1001b05 commit 6fc9420
Showing 1 changed file with 30 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -6,3 +6,33 @@
x = []
reveal_type(x) # revealed: list
```

## Indexing into lists

A list can be indexed into with:
- numbers
- slices


```py
x = [1, 2, 3]
reveal_type(x) # revealed: list
# TODO reveal int
reveal_type(x[0]) # revealed: @Todo
# TODO reveal list
reveal_type(x[0:1]) # revealed: @Todo
# TODO error
reveal_type(x["a"]) # revealed: @Todo
```

## 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
# TODO error? (indeterminite index type)
x["a" if (y := 2) else 1] = 6
# TODO error (can't index via string)
x["a" if (y := 2) else "b"] = 6
```

0 comments on commit 6fc9420

Please sign in to comment.