---

yaml
---
r: 343031
b: refs/heads/master-rebranch
c: 6a54531
h: refs/heads/master
i:
  343029: 010ae02
  343027: 0a9345c
  343023: 80e0af1

Author: gottesmm

[refs]

@@ -1455,7 +1455,7 @@ refs/tags/swift-DEVELOPMENT-SNAPSHOT-2019-08-02-a: ddd2b2976aa9bfde5f20fe37f6bd2
 refs/tags/swift-DEVELOPMENT-SNAPSHOT-2019-08-03-a: 171cc166f2abeb5ca2a4003700a8a78a108bd300
 refs/heads/benlangmuir-patch-1: baaebaf39d52f3bf36710d4fe40cf212e996b212
 refs/heads/i-do-redeclare: 8c4e6d5de5c1e3f0a2cedccf319df713ea22c48e
-refs/heads/master-rebranch: 609c3e16956fe7d29893ad6cffe9a980fbc75c34
+refs/heads/master-rebranch: 6a545318116ae7de7017abf15a0a9b746d8cf851
 refs/heads/rdar-53901732: 9bd06af3284e18a109cdbf9aa59d833b24eeca7b
 refs/heads/revert-26776-subst-always-returns-a-type: 1b8e18fdd391903a348970a4c848995d4cdd789c
 refs/heads/tensorflow-merge: 8b854f62f80d4476cb383d43c4aac2001dde3cec

branches/master-rebranch/docs/Diagnostics.md

@@ -97,7 +97,7 @@ Most diagnostics have no reason to change behavior under editor mode. An example
 
 - `%0`, `%1`, etc - Formats the specified diagnostic argument based on its type.
 
-- `%select{a|b|c}0` - Chooses from a list of alternatives, separated by vertical bars, based on the value of the given argument. In this example, a value of 2 in diagnostic argument 0 would result in "c" being output. The argument to the %select may be an integer, enum, or StringRef. If it's a StringRef, the specifier acts as an emptiness check.
+- `%select{a|b|c}0` - Chooses from a list of alternatives, separated by vertical bars, based on the value of the given argument. In this example, a value of 2 in diagnostic argument 0 would result in "c" being output.
 
 - `%s0` - Produces an "s" if the given argument is anything other than 1, as meant for an English plural. This isn't particularly localizable without a more general `%plural` form, but most diagnostics try to avoid cases where a plural/singular distinction would be necessary in the first place.
 

branches/master-rebranch/docs/SIL.rst

@@ -2802,21 +2802,6 @@ It is expected that the strong reference count of the object is one.
 Furthermore, no other thread may increment the strong reference count during
 execution of this instruction.
 
-copy_unowned_value
-``````````````````
-::
-
-  sil-instruction ::= 'copy_unowned_value' sil-operand
-
-  %1 = copy_unowned_value %0 : $@unowned T
-  // %1 will be a strong @owned value of type $T.
-  // $T must be a reference type
-
-Asserts that the strong reference count of the heap object referenced by ``%0``
-is still positive, then increments the reference count and returns a new strong
-reference to ``%0``. The intention is that this instruction is used as a "safe
-ownership conversion" from ``unowned`` to ``strong``.
-
 strong_retain_unowned
 `````````````````````
 ::
@@ -3727,21 +3712,6 @@ This instruction has the same local semantics as ``retain_value`` but:
 The intention is that this instruction is used to implement unmanaged
 constructs.
 
-copy_unmanaged_value
-``````````````````````
-
-::
-
-  sil-instruction ::= 'copy_unmanaged_value' sil-value
-
-  %1 = copy_unmanaged_value %0 : $@sil_unmanaged A
-  // %1 will be a strong @owned $A.
-
-This instruction has the same semantics as ``copy_value`` except that its input
-is a trivial ``@sil_unmanaged`` type that doesn't require ref counting. This is
-intended to be used semantically as a "conversion" like instruction from
-``unmanaged`` to ``strong`` and thus should never be removed by the optimizer.
-
 copy_value
 ``````````
 

branches/master-rebranch/include/swift/AST/ASTNode.h

@@ -36,10 +36,10 @@ namespace swift {
   enum class DeclKind : uint8_t;
   enum class StmtKind;
 
-  struct ASTNode : public llvm::PointerUnion<Expr*, Stmt*, Decl*> {
+  struct ASTNode : public llvm::PointerUnion3<Expr*, Stmt*, Decl*> {
     // Inherit the constructors from PointerUnion.
-    using PointerUnion::PointerUnion;
-
+    using PointerUnion3::PointerUnion3;
+    
     SourceRange getSourceRange() const;
 
     /// Return the location of the start of the statement.