Merge pull request #20031 from DougGregor/parenthesized-type-ref-5.0

[Name lookup] Look through parentheses when finding type references.

Author: DougGregor

lib/AST/NameLookup.cpp

@@ -2440,6 +2440,15 @@ directReferencesForTypeRepr(Evaluator &evaluator,
   case TypeReprKind::Dictionary:
     return { 1, ctx.getDictionaryDecl()};
 
+  case TypeReprKind::Tuple: {
+    auto tupleRepr = cast<TupleTypeRepr>(typeRepr);
+    if (tupleRepr->isParenType()) {
+      return directReferencesForTypeRepr(evaluator, ctx,
+                                         tupleRepr->getElementType(0), dc);
+    }
+    return { };
+  }
+
   case TypeReprKind::Error:
   case TypeReprKind::Function:
   case TypeReprKind::InOut:
@@ -2448,7 +2457,6 @@ directReferencesForTypeRepr(Evaluator &evaluator,
   case TypeReprKind::Protocol:
   case TypeReprKind::Shared:
   case TypeReprKind::SILBox:
-  case TypeReprKind::Tuple:
     return { };
 
   case TypeReprKind::Fixed:

test/decl/protocol/inherited.swift

@@ -0,0 +1,14 @@
+// RUN: %target-typecheck-verify-swift
+
+// Allow inheritance from parenthesized protocol names.
+protocol DefaultItem {}
+
+extension DefaultItem {
+  var isEnabled: Bool { return true }
+}
+
+protocol Item: (DefaultItem) {}
+
+func test(item: Item) {
+  _ = item.isEnabled
+}