averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Simplification: check for isolated conformances when simplifying metatype casts

Browse Source 
rdar://147417762
This commit is contained in:
Erik Eckstein
2025-04-04 19:21:35 +02:00
parent 75a0cc031b
commit f5ca12d42b
2 changed files with 21 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
SwiftCompilerSources/Sources/Optimizer/InstructionSimplification/SimplifyCheckedCast.swift
View File

@@ -81,7 +81,9 @@ private extension UnconditionalCheckedCastInst {
return
}
let conformance = sourceFormalType.instanceTypeOfMetatype.checkConformance(to: proto)
guard conformance.isValid else {
guard conformance.isValid,
conformance.matchesActorIsolation(in: parentFunction)
else {
return
}