SIL: Fix ResultInfo.init(bridged: OptionalBridgedResultInfo)

eeckstein · eeckstein · commit d802b5955fc2 · 2025-09-04T08:15:46.000+02:00
The initializer has to be optional because OptionalBridgedResultInfo can be nil
diff --git a/SwiftCompilerSources/Sources/SIL/FunctionConvention.swift b/SwiftCompilerSources/Sources/SIL/FunctionConvention.swift
@@ -409,8 +409,11 @@ extension ResultInfo {
     self.convention = ResultConvention(bridged: bridged.convention)
     self.hasLoweredAddresses = hasLoweredAddresses
   }
-  init(bridged: OptionalBridgedResultInfo, hasLoweredAddresses: Bool) {
-    self.type = BridgedASTType(type: bridged.type!)
+  init?(bridged: OptionalBridgedResultInfo, hasLoweredAddresses: Bool) {
+    guard let t = bridged.type else {
+      return nil
+    }
+    self.type = BridgedASTType(type: t)
     self.convention = ResultConvention(bridged: bridged.convention)
     self.hasLoweredAddresses = hasLoweredAddresses
   }

Original file line number	Diff line number	Diff line change
`@@ -409,8 +409,11 @@ extension ResultInfo {`
`409`	`409`	`self.convention = ResultConvention(bridged: bridged.convention)`
`410`	`410`	`self.hasLoweredAddresses = hasLoweredAddresses`
`411`	`411`	`}`
`412`		`- init(bridged: OptionalBridgedResultInfo, hasLoweredAddresses: Bool) {`
`413`		`- self.type = BridgedASTType(type: bridged.type!)`
	`412`	`+ init?(bridged: OptionalBridgedResultInfo, hasLoweredAddresses: Bool) {`
	`413`	`+ guard let t = bridged.type else {`
	`414`	`+ return nil`
	`415`	`+ }`
	`416`	`+ self.type = BridgedASTType(type: t)`
`414`	`417`	`self.convention = ResultConvention(bridged: bridged.convention)`
`415`	`418`	`self.hasLoweredAddresses = hasLoweredAddresses`
`416`	`419`	`}`