GSB: Assert that concrete types should not have any other requirements
GSB: Assert that concrete types should not have any other requirements

This sort of thing is not valid and should never happen:

    <T where T : P, T == Int>

atrick/swift,JGiola/swift,tkremenek/swift,gregomni/swift,glessard/swift,xwu/swift,ahoppen/swift,atrick/swift,parkera/swift,benlangmuir/swift,rudkx/swift,xwu/swift,benlangmuir/swift,rudkx/swift,tkremenek/swift,ahoppen/swift,JGiola/swift,JGiola/swift,roambotics/swift,atrick/swift,benlangmuir/swift,apple/swift,xwu/swift,apple/swift,gregomni/swift,roambotics/swift,glessard/swift,ahoppen/swift,benlangmuir/swift,roambotics/swift,apple/swift,gregomni/swift,parkera/swift,xwu/swift,glessard/swift,hooman/swift,ahoppen/swift,tkremenek/swift,apple/swift,glessard/swift,hooman/swift,benlangmuir/swift,atrick/swift,parkera/swift,roambotics/swift,atrick/swift,tkremenek/swift,parkera/swift,ahoppen/swift,JGiola/swift,roambotics/swift,rudkx/swift,hooman/swift,hooman/swift,hooman/swift,rudkx/swift,apple/swift,hooman/swift,parkera/swift,xwu/swift,apple/swift,rudkx/swift,glessard/swift,ahoppen/swift,atrick/swift,parkera/swift,parkera/swift,gregomni/swift,hooman/swift,parkera/swift,glessard/swift,benlangmuir/swift,gregomni/swift,JGiola/swift,xwu/swift,tkremenek/swift,JGiola/swift,rudkx/swift,gregomni/swift,roambotics/swift,tkremenek/swift,tkremenek/swift,xwu/swift