Tag build swift-DEVELOPMENT-SNAPSHOT-2016-12-07-a
Merge remote-tracking branch 'origin/swift-3.1-branch' into stable

* origin/swift-3.1-branch:
  [analyzer] Print type for SymbolRegionValues when dumping to stream
  [analyzer] ObjCGenerics: Warn only on mismatch for invariant type parameters
  [analyzer] Refactor recursive symbol reachability check to use symbol_iterator
  [analyzer] Drop explicit mention of range constraint solver