---

yaml
---
r: 346687
b: refs/heads/master
c: f92d712
h: refs/heads/master
i:
  346685: 5f59081
  346683: 93f7f31
  346679: 0d49e06
  346671: cd0da2b
  346655: 1cb5c17
  346623: c66eaba

Author: swift-ci

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 178b344e8ea13bb29d54d7e1a40f55b18480eaa6
+refs/heads/master: f92d7123f1d6b7a4b13cf1024cf28580f0e31c4b
 refs/heads/master-next: 203b3026584ecad859eb328b2e12490099409cd5
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea

trunk/lib/Sema/TypeCheckType.cpp

@@ -602,6 +602,8 @@ Type TypeChecker::resolveTypeInContext(
           if (resolution.getStage() == TypeResolutionStage::Structural) {
             return resolution.resolveSelfAssociatedType(
               selfType, foundDC, typeDecl->getName());
+          } else if (auto assocType = dyn_cast<AssociatedTypeDecl>(typeDecl)) {
+            typeDecl = assocType->getAssociatedTypeAnchor();
           }
         }
       }

trunk/test/Generics/associated_type_anchor_rdar47605019.swift

@@ -0,0 +1,18 @@
+// RUN: %target-swift-frontend -emit-ir %s | %FileCheck %s
+
+// Ensure that the superclass's generid argument canonicalizes to
+// Sequence.Element.
+
+// CHECK: @"symbolic _____y7ElementSTQzG
+
+public protocol ElementTypeProtocol: RandomAccessCollection {
+    typealias ElementType = Element
+}
+extension Array: ElementTypeProtocol {}
+
+private class WrapperBase<T> {}
+private final class WrapperDerived<C: ElementTypeProtocol>: WrapperBase<C.ElementType> {
+    init(base: C) {
+        let _ = base
+    }
+}