Merge remote-tracking branch 'origin/swift-3.1-branch' into stable

* origin/swift-3.1-branch:
  [Coverage] The coverage region for switch covers the code after the switch.