ty, has a playground running at types.ruff.rs. You can edit code in there and see what the type checker results would be in browser. This looks good, excited to see it running in my lsp.
Here is an example where a Optional may not be defined.
Checking for existance before using it resolves the issue.