This site works best with JavaScript enabled. Please enable JavaScript to get the best experience from this site.
errorsFromTypeCheckerExample