---

yaml
---
r: 349383
b: refs/heads/master-next
c: ee15a40
h: refs/heads/master
i:
  349381: 1ef8fca
  349379: 9827d7e
  349375: 077951a

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: 0cdd51d28ce070e7c4488a9409a52f4974b5f543
+refs/heads/master-next: ee15a40152caa12b974e404d4a2b1144062b3d56
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-b: 66d897bfcf64a82cb9a87f5e663d889189d06d07

branches/master-next/lib/AST/ASTDemangler.cpp

@@ -32,6 +32,7 @@
 #include "swift/AST/Types.h"
 #include "swift/Demangling/Demangler.h"
 #include "swift/Demangling/ManglingMacros.h"
+#include "llvm/ADT/StringSwitch.h"
 
 using namespace swift;
 
@@ -838,22 +839,45 @@ CanGenericSignature ASTBuilder::demangleGenericSignature(
       break;
     }
     case Demangle::Node::Kind::DependentGenericLayoutRequirement: {
-      // FIXME: Other layout constraints
-      LayoutConstraint constraint;
       auto kindChild = child->getChild(1);
       if (kindChild->getKind() != Demangle::Node::Kind::Identifier)
         return CanGenericSignature();
 
-      if (kindChild->getText() == "C") {
-        auto kind = LayoutConstraintKind::Class;
-        auto layout = LayoutConstraint::getLayoutConstraint(kind, Ctx);
-        builder.addRequirement(
-            Requirement(RequirementKind::Layout, subjectType, layout),
-            source, nullptr);
-        break;
+      auto kind = llvm::StringSwitch<Optional<
+          LayoutConstraintKind>>(kindChild->getText())
+        .Case("U", LayoutConstraintKind::UnknownLayout)
+        .Case("R", LayoutConstraintKind::RefCountedObject)
+        .Case("N", LayoutConstraintKind::NativeRefCountedObject)
+        .Case("C", LayoutConstraintKind::Class)
+        .Case("D", LayoutConstraintKind::NativeClass)
+        .Case("T", LayoutConstraintKind::Trivial)
+        .Cases("E", "e", LayoutConstraintKind::TrivialOfExactSize)
+        .Cases("M", "m", LayoutConstraintKind::TrivialOfAtMostSize)
+        .Default(None);
+
+      if (!kind)
+        return CanGenericSignature();
+
+      LayoutConstraint layout;
+
+      if (kind != LayoutConstraintKind::TrivialOfExactSize &&
+          kind != LayoutConstraintKind::TrivialOfAtMostSize) {
+        layout = LayoutConstraint::getLayoutConstraint(*kind, Ctx);
+      } else {
+        auto size = child->getChild(2)->getIndex();
+        auto alignment = 0;
+
+        if (child->getNumChildren() == 4)
+          alignment = child->getChild(3)->getIndex();
+
+        layout = LayoutConstraint::getLayoutConstraint(*kind, size, alignment,
+                                                       Ctx);
       }
 
-      return CanGenericSignature();
+      builder.addRequirement(
+          Requirement(RequirementKind::Layout, subjectType, layout),
+          source, nullptr);
+      break;
     }
     default:
       return CanGenericSignature();

branches/master-next/test/TypeDecoder/extensions.swift

@@ -42,4 +42,19 @@ extension Generic where T == Int {
 // CHECK-DECL: extensions.(file).Generic extension.Nested1
 
 // DEMANGLE-DECL: $s10extensions7GenericVAASiRszlE7Nested2V
-// CHECK-DECL: extensions.(file).Generic extension.Nested2
+// CHECK-DECL: extensions.(file).Generic extension.Nested2
+
+// Layout Constraints
+// FIXME: When other layout constraints are allowed in source level swift, test
+// that we correctly demangle those as well.
+
+extension Generic where T: AnyObject {
+  struct NestedViaAnyObject {}
+}
+
+// DEMANGLE-TYPE: $s10extensions7GenericVAARlzClE18NestedViaAnyObjectVyx_GD
+// CHECK-TYPE: Generic<τ_0_0>.NestedViaAnyObject
+
+// DEMANGLE-DECL: $s10extensions7GenericVAARlzClE18NestedViaAnyObjectV
+// CHECK-DECL: extensions.(file).Generic extension.NestedViaAnyObject
+