Description
Analyzes Ruby code with an experimental type-level interpreter. It is useful for understanding inferred types, testing type behavior, and exploring how Ruby code may be seen by type tooling.
Experimental type analysis can be incomplete or misleading. Treat results as diagnostics and verify behavior with tests and runtime checks.