You could just as well typo the ".SECOND" in the above. Plenty of existing JS APIs do the stringly thing here, so the proper thing for a checker to do is just

You could just as well typo the ".SECOND" in the above. Plenty of existing JS APIs do the stringly thing here, so the proper thing for a checker to do is just check the strings. Try putting your cursor between the quotes here and hit ctl-space: http://www.typescriptlang.org/play/#src=fetch(%7B%0D%0A%20%20%20%20credentials%3A%20%22%22%0D%0A%7D) http://www.typescriptlang.org/play/#src=fetch(%7B%0D%0A%20%2...