Implement support in the constraint system for unresolved member expressions like ".none", which refer to a oneof member of unknown type. Such expressions are strange, because the expression ".foo" can either have the type T0 or the type T1 -> T0, where T0 is the oneof type (which is unknown) and T1 is a fresh type variable. The choice depends on whether the named member ends up having unit type or not, because the usage of the two varies:
Implement support in the constraint system for unresolved member
expressions like ".none", which refer to a oneof member of unknown
type. Such expressions are strange, because the expression ".foo" can
either have the type T0 or the type T1 -> T0, where T0 is the oneof
type (which is unknown) and T1 is a fresh type variable. The choice
depends on whether the named member ends up having unit type or not,
because the usage of the two varies:

  .none

requires no applications to be useful but

  .value('a')

does require the application to be useful.

Model this as a new kind of overload set in the constraint system,
because it can't be expressed without the disjunction provided by
overload sets.


Swift SVN r2804

SwiftAndroid/swift,codestergit/swift,atrick/swift,johnno1962d/swift,harlanhaskins/swift,johnno1962d/swift,karwa/swift,KrishMunot/swift,swiftix/swift,dduan/swift,sschiau/swift,benlangmuir/swift,tardieu/swift,xwu/swift,airspeedswift/swift,LeoShimonaka/swift,amraboelela/swift,adrfer/swift,calebd/swift,modocache/swift,shajrawi/swift,uasys/swift,kusl/swift,lorentey/swift,hooman/swift,JGiola/swift,bitjammer/swift,tinysun212/swift-windows,gregomni/swift,ken0nek/swift,kentya6/swift,jckarter/swift,gribozavr/swift,milseman/swift,amraboelela/swift,OscarSwanros/swift,karwa/swift,ahoppen/swift,Ivacker/swift,LeoShimonaka/swift,calebd/swift,apple/swift,gribozavr/swift,SwiftAndroid/swift,jckarter/swift,tjw/swift,therealbnut/swift,swiftix/swift.old,CodaFi/swift,allevato/swift,calebd/swift,Ivacker/swift,slavapestov/swift,MukeshKumarS/Swift,huonw/swift,roambotics/swift,russbishop/swift,russbishop/swift,nathawes/swift,kperryua/swift,uasys/swift,kentya6/swift,russbishop/swift,stephentyrone/swift,Jnosh/swift,return/swift,alblue/swift,sdulal/swift,amraboelela/swift,shahmishal/swift,hooman/swift,sschiau/swift,zisko/swift,JGiola/swift,practicalswift/swift,djwbrown/swift,MukeshKumarS/Swift,hooman/swift,glessard/swift,SwiftAndroid/swift,xedin/swift,parkera/swift,swiftix/swift.old,LeoShimonaka/swift,bitjammer/swift,arvedviehweger/swift,MukeshKumarS/Swift,jckarter/swift,Jnosh/swift,arvedviehweger/swift,khizkhiz/swift,tjw/swift,tinysun212/swift-windows,tkremenek/swift,arvedviehweger/swift,Ivacker/swift,xedin/swift,IngmarStein/swift,Ivacker/swift,frootloops/swift,hughbe/swift,benlangmuir/swift,swiftix/swift,huonw/swift,jtbandes/swift,gmilos/swift,MukeshKumarS/Swift,emilstahl/swift,IngmarStein/swift,austinzheng/swift,deyton/swift,austinzheng/swift,deyton/swift,frootloops/swift,slavapestov/swift,swiftix/swift.old,aschwaighofer/swift,codestergit/swift,parkera/swift,manavgabhawala/swift,kentya6/swift,parkera/swift,kusl/swift,ben-ng/swift,karwa/swift,shahmishal/swift,jmgc/swift,deyton/swift,cbrentharris/swift,sdulal/swift,jmgc/swift,natecook1000/swift,khizkhiz/swift,CodaFi/swift,harlanhaskins/swift,atrick/swift,benlangmuir/swift,kstaring/swift,hughbe/swift,lorentey/swift,ken0nek/swift,kusl/swift,ahoppen/swift,kentya6/swift,airspeedswift/swift,deyton/swift,bitjammer/swift,xwu/swift,LeoShimonaka/swift,cbrentharris/swift,kentya6/swift,allevato/swift,xwu/swift,arvedviehweger/swift,danielmartin/swift,arvedviehweger/swift,OscarSwanros/swift,jtbandes/swift,Jnosh/swift,zisko/swift,KrishMunot/swift,alblue/swift,codestergit/swift,gregomni/swift,MukeshKumarS/Swift,hughbe/swift,tkremenek/swift,lorentey/swift,modocache/swift,uasys/swift,codestergit/swift,johnno1962d/swift,cbrentharris/swift,cbrentharris/swift,LeoShimonaka/swift,kentya6/swift,kperryua/swift,xwu/swift,adrfer/swift,airspeedswift/swift,hughbe/swift,dduan/swift,stephentyrone/swift,xedin/swift,hooman/swift,apple/swift,swiftix/swift,tinysun212/swift-windows,kusl/swift,aschwaighofer/swift,jopamer/swift,swiftix/swift,russbishop/swift,glessard/swift,harlanhaskins/swift,sdulal/swift,KrishMunot/swift,emilstahl/swift,arvedviehweger/swift,ken0nek/swift,jckarter/swift,gribozavr/swift,alblue/swift,tkremenek/swift,tjw/swift,JaSpa/swift,djwbrown/swift,airspeedswift/swift,codestergit/swift,IngmarStein/swift,johnno1962d/swift,practicalswift/swift,sdulal/swift,mightydeveloper/swift,frootloops/swift,gottesmm/swift,sschiau/swift,austinzheng/swift,milseman/swift,dduan/swift,SwiftAndroid/swift,stephentyrone/swift,amraboelela/swift,adrfer/swift,xedin/swift,deyton/swift,jopamer/swift,jtbandes/swift,therealbnut/swift,swiftix/swift.old,JaSpa/swift,practicalswift/swift,deyton/swift,brentdax/swift,glessard/swift,allevato/swift,slavapestov/swift,swiftix/swift,nathawes/swift,tjw/swift,danielmartin/swift,gribozavr/swift,alblue/swift,JaSpa/swift,SwiftAndroid/swift,kusl/swift,jckarter/swift,gribozavr/swift,KrishMunot/swift,xedin/swift,therealbnut/swift,kusl/swift,swiftix/swift.old,uasys/swift,ahoppen/swift,austinzheng/swift,emilstahl/swift,khizkhiz/swift,IngmarStein/swift,modocache/swift,cbrentharris/swift,djwbrown/swift,atrick/swift,tardieu/swift,ben-ng/swift,mightydeveloper/swift,therealbnut/swift,natecook1000/swift,shahmishal/swift,jckarter/swift,mightydeveloper/swift,gmilos/swift,MukeshKumarS/Swift,Jnosh/swift,Ivacker/swift,felix91gr/swift,return/swift,uasys/swift,amraboelela/swift,natecook1000/swift,natecook1000/swift,OscarSwanros/swift,felix91gr/swift,tinysun212/swift-windows,airspeedswift/swift,tjw/swift,kperryua/swift,sschiau/swift,jopamer/swift,gregomni/swift,kstaring/swift,ken0nek/swift,return/swift,tardieu/swift,jmgc/swift,emilstahl/swift,austinzheng/swift,manavgabhawala/swift,ahoppen/swift,amraboelela/swift,emilstahl/swift,tardieu/swift,IngmarStein/swift,milseman/swift,huonw/swift,shahmishal/swift,roambotics/swift,natecook1000/swift,bitjammer/swift,hughbe/swift,felix91gr/swift,manavgabhawala/swift,russbishop/swift,benlangmuir/swift,swiftix/swift,khizkhiz/swift,dreamsxin/swift,jopamer/swift,parkera/swift,JaSpa/swift,tkremenek/swift,khizkhiz/swift,devincoughlin/swift,modocache/swift,sdulal/swift,practicalswift/swift,danielmartin/swift,uasys/swift,djwbrown/swift,KrishMunot/swift,JGiola/swift,ahoppen/swift,sdulal/swift,russbishop/swift,Jnosh/swift,aschwaighofer/swift,Ivacker/swift,nathawes/swift,xwu/swift,CodaFi/swift,natecook1000/swift,jmgc/swift,karwa/swift,kstaring/swift,apple/swift,aschwaighofer/swift,modocache/swift,Jnosh/swift,frootloops/swift,roambotics/swift,harlanhaskins/swift,shajrawi/swift,codestergit/swift,gmilos/swift,therealbnut/swift,emilstahl/swift,mightydeveloper/swift,allevato/swift,atrick/swift,jtbandes/swift,gribozavr/swift,rudkx/swift,CodaFi/swift,amraboelela/swift,tardieu/swift,practicalswift/swift,OscarSwanros/swift,rudkx/swift,shajrawi/swift,stephentyrone/swift,deyton/swift,nathawes/swift,tinysun212/swift-windows,OscarSwanros/swift,huonw/swift,swiftix/swift.old,devincoughlin/swift,JaSpa/swift,gregomni/swift,rudkx/swift,alblue/swift,khizkhiz/swift,slavapestov/swift,kperryua/swift,ken0nek/swift,gottesmm/swift,tkremenek/swift,MukeshKumarS/Swift,swiftix/swift.old,return/swift,johnno1962d/swift,austinzheng/swift,apple/swift,adrfer/swift,johnno1962d/swift,stephentyrone/swift,hooman/swift,gregomni/swift,aschwaighofer/swift,jckarter/swift,karwa/swift,xedin/swift,djwbrown/swift,kperryua/swift,gmilos/swift,parkera/swift,roambotics/swift,practicalswift/swift,zisko/swift,devincoughlin/swift,kusl/swift,khizkhiz/swift,nathawes/swift,brentdax/swift,aschwaighofer/swift,sschiau/swift,gmilos/swift,djwbrown/swift,calebd/swift,mightydeveloper/swift,KrishMunot/swift,roambotics/swift,milseman/swift,ken0nek/swift,adrfer/swift,lorentey/swift,bitjammer/swift,brentdax/swift,danielmartin/swift,codestergit/swift,parkera/swift,swiftix/swift.old,parkera/swift,danielmartin/swift,felix91gr/swift,devincoughlin/swift,felix91gr/swift,jopamer/swift,jopamer/swift,therealbnut/swift,LeoShimonaka/swift,sschiau/swift,lorentey/swift,practicalswift/swift,KrishMunot/swift,ben-ng/swift,shahmishal/swift,rudkx/swift,OscarSwanros/swift,kentya6/swift,kstaring/swift,gregomni/swift,kusl/swift,Jnosh/swift,SwiftAndroid/swift,tinysun212/swift-windows,SwiftAndroid/swift,dduan/swift,allevato/swift,cbrentharris/swift,therealbnut/swift,jmgc/swift,devincoughlin/swift,ben-ng/swift,gottesmm/swift,kstaring/swift,shahmishal/swift,brentdax/swift,felix91gr/swift,roambotics/swift,bitjammer/swift,huonw/swift,huonw/swift,devincoughlin/swift,gmilos/swift,emilstahl/swift,kentya6/swift,brentdax/swift,natecook1000/swift,gribozavr/swift,jmgc/swift,stephentyrone/swift,sdulal/swift,shahmishal/swift,aschwaighofer/swift,shajrawi/swift,airspeedswift/swift,cbrentharris/swift,jmgc/swift,mightydeveloper/swift,shajrawi/swift,IngmarStein/swift,practicalswift/swift,dduan/swift,tkremenek/swift,nathawes/swift,xedin/swift,dreamsxin/swift,tardieu/swift,LeoShimonaka/swift,tinysun212/swift-windows,parkera/swift,kperryua/swift,return/swift,arvedviehweger/swift,djwbrown/swift,danielmartin/swift,tkremenek/swift,milseman/swift,harlanhaskins/swift,bitjammer/swift,shahmishal/swift,zisko/swift,alblue/swift,slavapestov/swift,uasys/swift,milseman/swift,frootloops/swift,hooman/swift,devincoughlin/swift,return/swift,hughbe/swift,manavgabhawala/swift,gottesmm/swift,rudkx/swift,zisko/swift,gottesmm/swift,sschiau/swift,russbishop/swift,jtbandes/swift,calebd/swift,OscarSwanros/swift,dduan/swift,johnno1962d/swift,slavapestov/swift,kstaring/swift,xwu/swift,dduan/swift,gottesmm/swift,glessard/swift,Ivacker/swift,xedin/swift,felix91gr/swift,hooman/swift,alblue/swift,apple/swift,JGiola/swift,ben-ng/swift,JGiola/swift,jopamer/swift,LeoShimonaka/swift,gottesmm/swift,glessard/swift,zisko/swift,zisko/swift,allevato/swift,allevato/swift,tjw/swift,JaSpa/swift,Ivacker/swift,manavgabhawala/swift,milseman/swift,xwu/swift,karwa/swift,slavapestov/swift,atrick/swift,austinzheng/swift,ken0nek/swift,rudkx/swift,mightydeveloper/swift,jtbandes/swift,shajrawi/swift,calebd/swift,modocache/swift,harlanhaskins/swift,CodaFi/swift,manavgabhawala/swift,adrfer/swift,huonw/swift,danielmartin/swift,nathawes/swift,karwa/swift,return/swift,ben-ng/swift,frootloops/swift,harlanhaskins/swift,brentdax/swift,gribozavr/swift,shajrawi/swift,CodaFi/swift,emilstahl/swift,JaSpa/swift,ben-ng/swift,JGiola/swift,benlangmuir/swift,cbrentharris/swift,calebd/swift,tjw/swift,atrick/swift,modocache/swift,mightydeveloper/swift,ahoppen/swift,adrfer/swift,apple/swift,airspeedswift/swift,IngmarStein/swift,benlangmuir/swift,swiftix/swift,lorentey/swift,tardieu/swift,lorentey/swift,sdulal/swift,kperryua/swift,jtbandes/swift,stephentyrone/swift,brentdax/swift,glessard/swift,frootloops/swift,karwa/swift,shajrawi/swift,lorentey/swift,manavgabhawala/swift,CodaFi/swift,gmilos/swift,devincoughlin/swift,hughbe/swift,sschiau/swift,kstaring/swift