Merge pull request #75647 from slavapestov/fix-issue-74858

Sema: Fix crash with SpecializeExpr around something that's not a type

Author: slavapestov

lib/Sema/CSSimplify.cpp

@@ -13980,6 +13980,8 @@ ConstraintSystem::simplifyExplicitGenericArgumentsConstraint(
     decl = bound->getDecl();
     for (auto argType : bound->getDirectGenericArgs()) {
       auto *typeVar = argType->getAs<TypeVariableType>();
+      if (!typeVar)
+        return SolutionKind::Error;
       auto *genericParam = typeVar->getImpl().getGenericParameter();
       openedTypes.push_back({genericParam, typeVar});
     }

test/Sema/issue-74858.swift

@@ -0,0 +1,9 @@
+// RUN: %target-typecheck-verify-swift
+
+typealias Alias<T> = Int
+
+func invalidSpecializeExpr(_ x: Alias<Int>.Type) {
+  let y = x<Int>.self
+  // expected-error@-1 {{type of expression is ambiguous without a type annotation}}
+  // FIXME: Bad diagnostic
+}