---

yaml
---
r: 347198
b: refs/heads/master
c: 23a708b
h: refs/heads/master

Author: swift-ci

[refs]

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

trunk/lib/IDE/CodeCompletion.cpp

@@ -1948,6 +1948,10 @@ class CompletionLookup final : public swift::VisibleDeclConsumer {
         if (!MaybeNominalType->mayHaveMembers())
           return T;
 
+        // We can't do anything if the base type has unbound generic parameters.
+        if (MaybeNominalType->hasUnboundGenericType())
+          return T;
+
         // For everything else, substitute in the base type.
         auto Subs = MaybeNominalType->getMemberSubstitutionMap(M, VD);
 

trunk/validation-test/IDE/crashers_2_fixed/rdar48896424.swift

@@ -0,0 +1,17 @@
+// RUN: %target-swift-ide-test -code-completion -code-completion-token=COMPLETE -source-filename=%s
+
+class Foo<T> {
+}
+
+extension Foo where T: Comparable {
+  func foo() {}
+}
+
+protocol P {
+  typealias alias = Foo
+}
+protocol P {}
+
+func Test() {
+  P.alias.#^COMPLETE^#
+}