[typechecker] update the comment to mention that recursion is used when the optional is nested
[typechecker] update the comment to mention that recursion is used when the optional is nested

shahmishal/swift,allevato/swift,hooman/swift,stephentyrone/swift,shajrawi/swift,atrick/swift,devincoughlin/swift,benlangmuir/swift,atrick/swift,apple/swift,parkera/swift,apple/swift,xedin/swift,sschiau/swift,sschiau/swift,tkremenek/swift,lorentey/swift,glessard/swift,atrick/swift,glessard/swift,rudkx/swift,parkera/swift,shajrawi/swift,glessard/swift,nathawes/swift,hooman/swift,CodaFi/swift,shajrawi/swift,jmgc/swift,parkera/swift,tkremenek/swift,gregomni/swift,parkera/swift,ahoppen/swift,lorentey/swift,lorentey/swift,jmgc/swift,karwa/swift,karwa/swift,shahmishal/swift,shajrawi/swift,airspeedswift/swift,nathawes/swift,benlangmuir/swift,sschiau/swift,jckarter/swift,jmgc/swift,xwu/swift,xedin/swift,lorentey/swift,shajrawi/swift,hooman/swift,gribozavr/swift,hooman/swift,gregomni/swift,JGiola/swift,jckarter/swift,sschiau/swift,ahoppen/swift,benlangmuir/swift,CodaFi/swift,stephentyrone/swift,airspeedswift/swift,karwa/swift,parkera/swift,devincoughlin/swift,CodaFi/swift,ahoppen/swift,shajrawi/swift,allevato/swift,apple/swift,JGiola/swift,glessard/swift,allevato/swift,shahmishal/swift,karwa/swift,rudkx/swift,aschwaighofer/swift,lorentey/swift,benlangmuir/swift,roambotics/swift,xwu/swift,shahmishal/swift,tkremenek/swift,shahmishal/swift,nathawes/swift,devincoughlin/swift,xedin/swift,rudkx/swift,tkremenek/swift,devincoughlin/swift,allevato/swift,JGiola/swift,CodaFi/swift,gregomni/swift,jckarter/swift,airspeedswift/swift,shajrawi/swift,lorentey/swift,ahoppen/swift,stephentyrone/swift,parkera/swift,allevato/swift,hooman/swift,allevato/swift,xedin/swift,karwa/swift,nathawes/swift,aschwaighofer/swift,nathawes/swift,CodaFi/swift,shahmishal/swift,devincoughlin/swift,stephentyrone/swift,gribozavr/swift,atrick/swift,airspeedswift/swift,airspeedswift/swift,xwu/swift,JGiola/swift,allevato/swift,apple/swift,jckarter/swift,karwa/swift,jmgc/swift,atrick/swift,ahoppen/swift,gregomni/swift,devincoughlin/swift,parkera/swift,hooman/swift,airspeedswift/swift,rudkx/swift,jckarter/swift,gribozavr/swift,shahmishal/swift,gribozavr/swift,tkremenek/swift,roambotics/swift,roambotics/swift,gribozavr/swift,xedin/swift,ahoppen/swift,devincoughlin/swift,tkremenek/swift,aschwaighofer/swift,gregomni/swift,stephentyrone/swift,karwa/swift,hooman/swift,rudkx/swift,airspeedswift/swift,glessard/swift,gribozavr/swift,lorentey/swift,aschwaighofer/swift,JGiola/swift,sschiau/swift,JGiola/swift,xwu/swift,jckarter/swift,harlanhaskins/swift,apple/swift,jmgc/swift,tkremenek/swift,shajrawi/swift,stephentyrone/swift,gribozavr/swift,sschiau/swift,xwu/swift,harlanhaskins/swift,stephentyrone/swift,jmgc/swift,sschiau/swift,harlanhaskins/swift,roambotics/swift,roambotics/swift,jmgc/swift,harlanhaskins/swift,aschwaighofer/swift,lorentey/swift,harlanhaskins/swift,rudkx/swift,sschiau/swift,xedin/swift,glessard/swift,xwu/swift,gribozavr/swift,nathawes/swift,aschwaighofer/swift,benlangmuir/swift,apple/swift,xwu/swift,harlanhaskins/swift,devincoughlin/swift,roambotics/swift,atrick/swift,CodaFi/swift,CodaFi/swift,xedin/swift,xedin/swift,benlangmuir/swift,jckarter/swift,aschwaighofer/swift,parkera/swift,nathawes/swift,gregomni/swift,karwa/swift,shahmishal/swift,harlanhaskins/swift