Update docs/TypeChecker.rst
Update docs/TypeChecker.rst

Co-Authored-By: Dan Zheng <e8b2cf6f3981c18438c47df51a789b3589ac132d@google.com>
gregomni/swift,aschwaighofer/swift,gribozavr/swift,stephentyrone/swift,jmgc/swift,harlanhaskins/swift,parkera/swift,JGiola/swift,benlangmuir/swift,aschwaighofer/swift,gribozavr/swift,allevato/swift,aschwaighofer/swift,tkremenek/swift,stephentyrone/swift,jmgc/swift,nathawes/swift,apple/swift,karwa/swift,allevato/swift,nathawes/swift,CodaFi/swift,benlangmuir/swift,CodaFi/swift,lorentey/swift,jckarter/swift,benlangmuir/swift,atrick/swift,tkremenek/swift,parkera/swift,CodaFi/swift,jckarter/swift,apple/swift,stephentyrone/swift,apple/swift,nathawes/swift,gribozavr/swift,aschwaighofer/swift,CodaFi/swift,harlanhaskins/swift,rudkx/swift,gribozavr/swift,ahoppen/swift,karwa/swift,roambotics/swift,gregomni/swift,parkera/swift,allevato/swift,glessard/swift,ahoppen/swift,jmgc/swift,glessard/swift,parkera/swift,tkremenek/swift,rudkx/swift,xwu/swift,nathawes/swift,hooman/swift,jckarter/swift,atrick/swift,xwu/swift,gribozavr/swift,CodaFi/swift,JGiola/swift,karwa/swift,roambotics/swift,stephentyrone/swift,airspeedswift/swift,parkera/swift,hooman/swift,jmgc/swift,nathawes/swift,rudkx/swift,jmgc/swift,JGiola/swift,harlanhaskins/swift,benlangmuir/swift,parkera/swift,benlangmuir/swift,xwu/swift,airspeedswift/swift,xwu/swift,jckarter/swift,hooman/swift,tkremenek/swift,rudkx/swift,stephentyrone/swift,rudkx/swift,jckarter/swift,parkera/swift,hooman/swift,airspeedswift/swift,harlanhaskins/swift,allevato/swift,roambotics/swift,harlanhaskins/swift,xwu/swift,hooman/swift,roambotics/swift,hooman/swift,stephentyrone/swift,roambotics/swift,atrick/swift,allevato/swift,aschwaighofer/swift,JGiola/swift,tkremenek/swift,xwu/swift,ahoppen/swift,tkremenek/swift,gribozavr/swift,airspeedswift/swift,karwa/swift,nathawes/swift,benlangmuir/swift,stephentyrone/swift,lorentey/swift,karwa/swift,atrick/swift,gregomni/swift,aschwaighofer/swift,apple/swift,harlanhaskins/swift,harlanhaskins/swift,airspeedswift/swift,gregomni/swift,lorentey/swift,allevato/swift,jmgc/swift,allevato/swift,jckarter/swift,lorentey/swift,gribozavr/swift,airspeedswift/swift,atrick/swift,hooman/swift,JGiola/swift,tkremenek/swift,parkera/swift,jckarter/swift,jmgc/swift,apple/swift,nathawes/swift,lorentey/swift,JGiola/swift,CodaFi/swift,gregomni/swift,lorentey/swift,ahoppen/swift,glessard/swift,airspeedswift/swift,atrick/swift,xwu/swift,lorentey/swift,ahoppen/swift,CodaFi/swift,glessard/swift,rudkx/swift,glessard/swift,lorentey/swift,karwa/swift,roambotics/swift,glessard/swift,gribozavr/swift,aschwaighofer/swift,ahoppen/swift,apple/swift,karwa/swift,karwa/swift,gregomni/swift