Fix syntax error in type-check.md

[nicoddemus]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.48%. Comparing base (83d9308) to head (0bad67d).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #479   +/-   ##
=======================================
  Coverage   89.48%   89.48%           
=======================================
  Files          12       12           
  Lines        1931     1931           
  Branches      400      400           
=======================================
  Hits         1728     1728           
  Misses        148      148           
  Partials       55       55           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[yukinarit]

Thank you!