Lint

Bump ty from 0.0.16 to 0.0.17 #7226

Job	Run time
build (3.13, windows-latest, pre-push)	4m 20s
build (3.13, windows-latest, manual)	1m 48s
build (3.13, ubuntu-latest, pre-push)	3m 52s
build (3.13, ubuntu-latest, manual)	1m 16s
build (3.13, ubuntu-latest, pre-commit)	1m 21s
build (3.13, windows-latest, pre-commit)	1m 56s
completion-lint	2s
	14m 35s

Provide feedback