Running type checker...
All checks passed!

Type check passed.
