fix types and linting
Passed
Frederik Hennig
created pipeline for commit
bd6b63ab
, finished
1 related merge request: !418 Nesting of Type Contexts, Type Hints, and Improved Array Typing
4 minutes 18 seconds, queued for 1 seconds