[ASTGen] Generate UnresolvedSpecializeExpr

Author: rintaro

include/swift/AST/ASTBridging.h

@@ -1342,6 +1342,13 @@ BridgedForcedCheckedCastExpr BridgedForcedCheckedCastExpr_createParsed(
     BridgedASTContext cContext, BridgedSourceLoc cAsLoc,
     BridgedSourceLoc cExclaimLoc, BridgedTypeRepr cType);
 
+SWIFT_NAME("BridgedUnresolvedSpecializeExpr.createParsed(_:subExpr:lAngleLoc:"
+           "arguments:rAngleLoc:)")
+BridgedUnresolvedSpecializeExpr BridgedUnresolvedSpecializeExpr_createParsed(
+    BridgedASTContext cContext, BridgedExpr cSubExpr,
+    BridgedSourceLoc cLAngleLoc, BridgedArrayRef cArguments,
+    BridgedSourceLoc cRAngleLoc);
+
 SWIFT_NAME("BridgedInOutExpr.createParsed(_:loc:subExpr:)")
 BridgedInOutExpr BridgedInOutExpr_createParsed(BridgedASTContext cContext,
                                                BridgedSourceLoc cLoc,

lib/AST/Bridging/ExprBridging.cpp

@@ -228,7 +228,17 @@ BridgedForcedCheckedCastExpr BridgedForcedCheckedCastExpr_createParsed(
                                        cType.unbridged());
 }
 
-SWIFT_NAME("InOutExpr.createParsed(_:loc:subExpr:)")
+BridgedUnresolvedSpecializeExpr BridgedUnresolvedSpecializeExpr_createParsed(
+    BridgedASTContext cContext, BridgedExpr cSubExpr,
+    BridgedSourceLoc cLAngleLoc, BridgedArrayRef cArguments,
+    BridgedSourceLoc cRAngleLoc) {
+
+  ASTContext &context = cContext.unbridged();
+  return UnresolvedSpecializeExpr::create(
+      cContext.unbridged(), cSubExpr.unbridged(), cLAngleLoc.unbridged(),
+      cArguments.unbridged<TypeRepr *>(), cRAngleLoc.unbridged());
+}
+
 BridgedInOutExpr BridgedInOutExpr_createParsed(BridgedASTContext cContext,
                                                BridgedSourceLoc cLoc,
                                                BridgedExpr cSubExpr) {

lib/ASTGen/Sources/ASTGen/Exprs.swift

@@ -117,8 +117,8 @@ extension ASTGenVisitor {
       break
     case .functionCallExpr(let node):
       return self.generate(functionCallExpr: node).asExpr
-    case .genericSpecializationExpr:
-      break
+    case .genericSpecializationExpr(let node):
+      return self.generate(genericSpecializationExpr: node).asExpr
     case .ifExpr(let node):
       return self.generate(ifExpr: node).asExpr
     case .inOutExpr(let node):
@@ -476,6 +476,23 @@ extension ASTGenVisitor {
     }
   }
 
+  func generate(genericSpecializationExpr node: GenericSpecializationExprSyntax) -> BridgedUnresolvedSpecializeExpr {
+    let base = self.generate(expr: node.expression)
+    let generics = node.genericArgumentClause
+    let lAngleLoc = self.generateSourceLoc(generics.leftAngle)
+    let genericArguments = generics.arguments.lazy.map {
+      self.generate(type: $0.argument)
+    }
+    let rAngleLoc = self.generateSourceLoc(generics.rightAngle)
+    return .createParsed(
+      self.ctx,
+      subExpr: base,
+      lAngleLoc: lAngleLoc,
+      arguments: genericArguments.bridgedArray(in: self),
+      rAngleLoc: rAngleLoc
+    )
+  }
+
   func generate(packElementExpr node: PackElementExprSyntax) -> BridgedPackElementExpr {
     return .createParsed(
       self.ctx,