SIL verification failed: inconsistent stack heights entering basic block: state.Stack == foundState.Stack || isUnreachable()

[czechboy0]

Description

Swift Configuration is failing to compile with swiftlang/swift:nightly-6.2-jammy: sha256:175e1f249a242e51fe373da1d87a6f1c34cfe7f94cdfb4f8cc8eb643f78f2397

Swift version 6.2-dev (LLVM aeffdf35e6603d0, Swift 678ec6e)
Target: aarch64-unknown-linux-gnu
Build config: +assertions

See the details in the Stack Dump section below.

This works fine on the released version of Swift 6.2, and works fine on the nightly main toolchains as well, so it seems like a regression specific to Swift 6.2.x.

Reproduction

git clone https://github.com/czechboy0/swift-configuration
git checkout 5ba74d98985211f97488ca4ea6943a2d097865cb
swift test --enable-all-traits

Stack dump

(I couldn't copy the full diagnostic text, as it was longer than 65k, which the GitHub issue template rejected)

Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Stack dump:
0.	Program arguments: /usr/bin/swift-frontend -frontend -emit-module -experimental-skip-non-inlinable-function-bodies-without-types /swift-configuration/Sources/Configuration/AccessReporter.swift /swift-configuration/Sources/Configuration/AccessReporters/AccessLogger.swift /swift-configuration/Sources/Configuration/AccessReporters/FileAccessLogger.swift /swift-configuration/Sources/Configuration/ConfigContext.swift /swift-configuration/Sources/Configuration/ConfigKey.swift /swift-configuration/Sources/Configuration/ConfigProvider.swift /swift-configuration/Sources/Configuration/ConfigProviderHelpers.swift /swift-configuration/Sources/Configuration/ConfigReader+internalHelpers.swift /swift-configuration/Sources/Configuration/ConfigReader+methods.swift /swift-configuration/Sources/Configuration/ConfigReader.swift /swift-configuration/Sources/Configuration/ConfigSnapshotReader+methods.swift /swift-configuration/Sources/Configuration/ConfigSnapshotReader.swift /swift-configuration/Sources/Configuration/Deprecations.swift /swift-configuration/Sources/Configuration/ExpressibleByConfigString.swift /swift-configuration/Sources/Configuration/KeyCoders/CLIKeyEncoder.swift /swift-configuration/Sources/Configuration/KeyCoders/ConfigKeyDecoder.swift /swift-configuration/Sources/Configuration/KeyCoders/ConfigKeyEncoder.swift /swift-configuration/Sources/Configuration/KeyCoders/SeparatorKeyDecoder.swift /swift-configuration/Sources/Configuration/KeyCoders/SeparatorKeyEncoder.swift /swift-configuration/Sources/Configuration/MultiProvider.swift /swift-configuration/Sources/Configuration/Providers/CLI/CLIArgumentParser.swift /swift-configuration/Sources/Configuration/Providers/CLI/CLISnapshot.swift /swift-configuration/Sources/Configuration/Providers/CLI/CommandLineArgumentsProvider.swift /swift-configuration/Sources/Configuration/Providers/EnvironmentVariables/EnvironmentFileParser.swift /swift-configuration/Sources/Configuration/Providers/EnvironmentVariables/EnvironmentKeyEncoder.swift /swift-configuration/Sources/Configuration/Providers/EnvironmentVariables/EnvironmentVariablesProvider.swift /swift-configuration/Sources/Configuration/Providers/Files/CommonProviderFileSystem.swift /swift-configuration/Sources/Configuration/Providers/Files/DirectoryFilesProvider.swift /swift-configuration/Sources/Configuration/Providers/Files/FileProvider.swift /swift-configuration/Sources/Configuration/Providers/Files/FileProviderSnapshot.swift /swift-configuration/Sources/Configuration/Providers/Files/JSONSnapshot.swift /swift-configuration/Sources/Configuration/Providers/Files/ReloadingFileProvider.swift /swift-configuration/Sources/Configuration/Providers/Files/ReloadingFileProviderMetrics.swift /swift-configuration/Sources/Configuration/Providers/Files/YAMLSnapshot.swift /swift-configuration/Sources/Configuration/Providers/InMemory/InMemoryProvider.swift /swift-configuration/Sources/Configuration/Providers/InMemory/MutableInMemoryProvider.swift /swift-configuration/Sources/Configuration/Providers/Wrappers/ConfigProvider+Operators.swift /swift-configuration/Sources/Configuration/Providers/Wrappers/KeyMappingProvider.swift /swift-configuration/Sources/Configuration/SecretsSpecifier.swift /swift-configuration/Sources/Configuration/Utilities/AsyncSequences.swift /swift-configuration/Sources/Configuration/Utilities/FoundationExtensions.swift /swift-configuration/Sources/Configuration/Utilities/Span.swift /swift-configuration/Sources/Configuration/Utilities/combineLatestOneOrMore.swift /swift-configuration/Sources/Configuration/ValueCoders/ConfigBytesFromStringDecoder.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -I /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/Modules -no-color-diagnostics -Xcc -fno-color-diagnostics -enable-testing -g -debug-info-format=dwarf -dwarf-version=4 -module-cache-path /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/ModuleCache -swift-version 6 -Onone -D SWIFT_PACKAGE -D DEBUG -D SWIFT_MODULE_RESOURCE_BUNDLE_UNAVAILABLE -D LoggingSupport -D ReloadingSupport -D CommandLineArgumentsSupport -D JSONSupport -D YAMLSupport -enable-upcoming-feature ExistentialAny -enable-upcoming-feature MemberImportVisibility -enable-upcoming-feature InternalImportsByDefault -enable-experimental-feature "AvailabilityMacro=Configuration 1.0:macOS 15.0, iOS 18.0, watchOS 11.0, tvOS 18.0, visionOS 2.0" -empty-abi-descriptor -enable-anonymous-context-mangled-names -file-compilation-dir /swift-configuration -Xcc -fmodule-map-file=/swift-configuration/.build/checkouts/swift-system/Sources/CSystem/include/module.modulemap -Xcc -I -Xcc /swift-configuration/.build/checkouts/swift-system/Sources/CSystem/include -Xcc -fmodule-map-file=/swift-configuration/.build/checkouts/Yams/Sources/CYaml/include/module.modulemap -Xcc -I -Xcc /swift-configuration/.build/checkouts/Yams/Sources/CYaml/include -Xcc -fPIC -Xcc -g -Xcc -fno-omit-frame-pointer -no-auto-bridging-header-chaining -module-name Configuration -package-name swift_configuration -in-process-plugin-server-path /usr/lib/swift/host/libSwiftInProcPluginServer.so -plugin-path /usr/lib/swift/host/plugins -plugin-path /usr/local/lib/swift/host/plugins -emit-module-doc-path /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/Modules/Configuration.swiftdoc -emit-module-source-info-path /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/Modules/Configuration.swiftsourceinfo -emit-objc-header-path /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/Configuration.build/include/Configuration-Swift.h -serialize-diagnostics-path /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/Configuration.build/Configuration.emit-module.dia -emit-dependencies-path /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/Configuration.build/Configuration.emit-module.d -parse-as-library -o /swift-configuration/.build/x86_64-unknown-linux-gnu/debug/Modules/Configuration.swiftmodule
1.	Swift version 6.2-dev (LLVM aeffdf35e6603d0, Swift 678ec6ec6001c6a)
2.	Compiling with the current language version
3.	While evaluating request ASTLoweringRequest(Lowering AST to SIL for module Configuration)
4.	While silgen emitFunction SIL function "@$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF".
 for 'reloadIfNeeded(logger:)' (at /swift-configuration/Sources/Configuration/Providers/Files/ReloadingFileProvider.swift:271:14)
5.	While verifying SIL function "@$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF".
 for 'reloadIfNeeded(logger:)' (at /swift-configuration/Sources/Configuration/Providers/Files/ReloadingFileProvider.swift:271:14)
 #0 0x000055e5dc409228 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/usr/bin/swift-frontend+0x8c14228)
 #1 0x000055e5dc406d4e llvm::sys::RunSignalHandlers() (/usr/bin/swift-frontend+0x8c11d4e)
 #2 0x000055e5dc4098c1 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007fe39995f520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007fe3999b39fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007fe39995f476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007fe3999457f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x000055e5d5b6d9b9 (/usr/bin/swift-frontend+0x23789b9)
 #8 0x000055e5d5b75ed8 (anonymous namespace)::SILVerifier::visitSILFunction(swift::SILFunction*) SILVerifier.cpp:0:0
 #9 0x000055e5d5b6e4c8 swift::SILFunction::verify(swift::CalleeCache*, bool, bool, bool) const (/usr/bin/swift-frontend+0x23794c8)
#10 0x000055e5d4f69407 swift::Lowering::SILGenModule::postEmitFunction(swift::SILDeclRef, swift::SILFunction*) crtstuff.c:0:0
#11 0x000055e5d4f68a87 swift::Lowering::SILGenModule::emitFunctionDefinition(swift::SILDeclRef, swift::SILFunction*) crtstuff.c:0:0
#12 0x000055e5d4f6a02e swift::Lowering::SILGenModule::emitOrDelayFunction(swift::SILDeclRef) crtstuff.c:0:0
#13 0x000055e5d4f6709c swift::Lowering::SILGenModule::emitFunction(swift::FuncDecl*) crtstuff.c:0:0
#14 0x000055e5d50a0452 (anonymous namespace)::SILGenType::visitFuncDecl(swift::FuncDecl*) SILGenType.cpp:0:0
#15 0x000055e5d509b7ec (anonymous namespace)::SILGenType::emitType() SILGenType.cpp:0:0
#16 0x000055e5d509b738 swift::Lowering::SILGenModule::visitNominalTypeDecl(swift::NominalTypeDecl*) crtstuff.c:0:0
#17 0x000055e5d4f6d113 swift::Lowering::SILGenModule::emitSourceFile(swift::SourceFile*) crtstuff.c:0:0
#18 0x000055e5d4f6d864 swift::ASTLoweringRequest::evaluate(swift::Evaluator&, swift::ASTLoweringDescriptor) const (/usr/bin/swift-frontend+0x1778864)
#19 0x000055e5d5081356 swift::SimpleRequest<swift::ASTLoweringRequest, std::unique_ptr<swift::SILModule, std::default_delete<swift::SILModule>> (swift::ASTLoweringDescriptor), (swift::RequestFlags)17>::evaluateRequest(swift::ASTLoweringRequest const&, swift::Evaluator&) crtstuff.c:0:0
#20 0x000055e5d4f72803 swift::ASTLoweringRequest::OutputType swift::Evaluator::getResultUncached<swift::ASTLoweringRequest, swift::ASTLoweringRequest::OutputType swift::evaluateOrFatal<swift::ASTLoweringRequest>(swift::Evaluator&, swift::ASTLoweringRequest)::'lambda'()>(swift::ASTLoweringRequest const&, swift::ASTLoweringRequest::OutputType swift::evaluateOrFatal<swift::ASTLoweringRequest>(swift::Evaluator&, swift::ASTLoweringRequest)::'lambda'()) crtstuff.c:0:0
#21 0x000055e5d4f6de93 swift::performASTLowering(swift::ModuleDecl*, swift::Lowering::TypeConverter&, swift::SILOptions const&, swift::IRGenOptions const*) (/usr/bin/swift-frontend+0x1778e93)
#22 0x000055e5d47449e9 swift::performCompileStepsPostSema(swift::CompilerInstance&, int&, swift::FrontendObserver*) (/usr/bin/swift-frontend+0xf4f9e9)
#23 0x000055e5d475644a withSemanticAnalysis(swift::CompilerInstance&, swift::FrontendObserver*, llvm::function_ref<bool (swift::CompilerInstance&)>, bool) FrontendTool.cpp:0:0
#24 0x000055e5d47477de performCompile(swift::CompilerInstance&, int&, swift::FrontendObserver*) FrontendTool.cpp:0:0
#25 0x000055e5d4746878 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/usr/bin/swift-frontend+0xf51878)
#26 0x000055e5d44bd92b swift::mainEntry(int, char const**) (/usr/bin/swift-frontend+0xcc892b)
#27 0x00007fe399946d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#28 0x00007fe399946e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#29 0x000055e5d44bc925 _start (/usr/bin/swift-frontend+0xcc7925)
error: fatalError

Expected behavior

Wouldn't crash, would either compile successfully or provide an actionable diagnostic.

Environment

Swift version 6.2-dev (LLVM aeffdf35e6603d0, Swift 678ec6e)
Target: aarch64-unknown-linux-gnu
Build config: +assertions

Additional information

No response

[czechboy0]

error: emit-module command failed due to signal 6 (use -v to see invocation)
SIL verification failed: inconsistent stack heights entering basic block: state.Stack == foundState.Stack || isUnreachable()
Verifying instruction:
   %508 = argument of bb28 : $any Error           // user: %519
->   br bb33(%508 : $any Error)                   // id: %519
In function:
// ReloadingFileProvider.reloadIfNeeded(logger:)
// Isolation: unspecified
sil [ossa] @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF : $@convention(method) @async <Snapshot where Snapshot : FileConfigSnapshot> (@guaranteed Logger, @guaranteed ReloadingFileProvider<Snapshot>) -> @error any Error {
// %0 "logger"                                    // users: %381, %424, %153, %467, %112, %63, %28, %2
// %1 "self"                                      // users: %358, %159, %154, %139, %137, %118, %90, %68, %64, %46, %35, %31, %3
bb0(%0 : @guaranteed $Logger, %1 : @guaranteed $ReloadingFileProvider<Snapshot>):
  debug_value %0, let, name "logger", argno 1     // id: %2
  debug_value %1, let, name "self", argno 2       // id: %3
  debug_value undef : $any Error, var, name "$error", argno 3 // id: %4
  %5 = enum $Optional<any Actor>, #Optional.none!enumelt // users: %127, %509, %55, %499, %41, %491, %6
  hop_to_executor %5                              // id: %6
  // function_ref implicit closure #1 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %7 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFAH7MessageVyXEfu_ : $@convention(thin) () -> @owned Logger.Message // user: %8
  %8 = thin_to_thick_function %7 to $@noescape @callee_guaranteed () -> @owned Logger.Message // user: %28
  // function_ref implicit closure #2 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %9 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFSDySSAH13MetadataValueOGSgyXEfu0_ : $@convention(thin) () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %10
  %10 = thin_to_thick_function %9 to $@noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %28
  %11 = string_literal utf8 "Configuration/ReloadingFileProvider.swift" // user: %16
  %12 = integer_literal $Builtin.Word, 41         // user: %16
  %13 = integer_literal $Builtin.Int1, -1         // user: %16
  %14 = metatype $@thin String.Type               // user: %16
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %15 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %16
  %16 = apply %15(%11, %12, %13, %14) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %30, %28
  %17 = string_literal utf8 "reloadIfNeeded(logger:)" // user: %22
  %18 = integer_literal $Builtin.Word, 23         // user: %22
  %19 = integer_literal $Builtin.Int1, -1         // user: %22
  %20 = metatype $@thin String.Type               // user: %22
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %21 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %22
  %22 = apply %21(%17, %18, %19, %20) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %29, %28
  %23 = integer_literal $Builtin.IntLiteral, 272  // user: %26
  %24 = metatype $@thin UInt.Type                 // user: %26
  // function_ref UInt.init(_builtinIntegerLiteral:)
  %25 = function_ref @$sSu22_builtinIntegerLiteralSuBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %26
  %26 = apply %25(%23, %24) : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %28
  // function_ref Logger.debug(_:metadata:file:function:line:)
  %27 = function_ref @$s7Logging6LoggerV5debug_8metadata4file8function4lineyAC7MessageVyXK_SDySSAC13MetadataValueOGSgyXKS2SSutF : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> () // user: %28
  %28 = apply %27(%8, %10, %16, %22, %26, %0) : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> ()
  destroy_value %22                               // id: %29
  destroy_value %16                               // id: %30
  %31 = ref_element_addr %1, #ReloadingFileProvider.fileSystem // user: %33
  %32 = alloc_stack $any CommonProviderFileSystem // users: %45, %44, %494, %493, %34, %33
  copy_addr %31 to [init] %32                     // id: %33
  %34 = open_existential_addr immutable_access %32 to $*@opened("961E6B30-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self // users: %38, %38, %37
  %35 = ref_element_addr %1, #ReloadingFileProvider.filePath // user: %36
  %36 = load [copy] %35                           // users: %40, %38, %492
  %37 = witness_method $@opened("961E6B30-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self, #CommonProviderFileSystem.resolveSymlinks : <Self where Self : CommonProviderFileSystem> (Self) -> (SystemPackage.FilePath) async throws -> SystemPackage.FilePath, %34 : $*@opened("961E6B30-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self : $@convention(witness_method: CommonProviderFileSystem) @async <τ_0_0 where τ_0_0 : CommonProviderFileSystem> (@guaranteed FilePath, @in_guaranteed τ_0_0) -> (@owned FilePath, @error any Error) // type-defs: %34; user: %38
  try_apply %37<@opened("961E6B30-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self>(%36, %34) : $@convention(witness_method: CommonProviderFileSystem) @async <τ_0_0 where τ_0_0 : CommonProviderFileSystem> (@guaranteed FilePath, @in_guaranteed τ_0_0) -> (@owned FilePath, @error any Error), normal bb1, error bb25 // type-defs: %34; id: %38

// %39                                            // user: %42
bb1(%39 : @owned $FilePath):                      // Preds: bb0
  destroy_value %36                               // id: %40
  hop_to_executor %5                              // id: %41
  %42 = move_value [var_decl] %39                 // users: %399, %439, %152, %478, %529, %516, %122, %92, %62, %484, %503, %50, %43
  debug_value %42, let, name "candidateRealPath"  // id: %43
  destroy_addr %32                                // id: %44
  dealloc_stack %32                               // id: %45
  %46 = ref_element_addr %1, #ReloadingFileProvider.fileSystem // user: %48
  %47 = alloc_stack $any CommonProviderFileSystem // users: %59, %58, %502, %501, %49, %48
  copy_addr %46 to [init] %47                     // id: %48
  %49 = open_existential_addr immutable_access %47 to $*@opened("961E7DAA-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self // users: %52, %52, %51
  %50 = begin_borrow %42                          // users: %54, %52, %500
  %51 = witness_method $@opened("961E7DAA-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self, #CommonProviderFileSystem.lastModifiedTimestamp : <Self where Self : CommonProviderFileSystem> (Self) -> (SystemPackage.FilePath) async throws -> Date, %49 : $*@opened("961E7DAA-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self : $@convention(witness_method: CommonProviderFileSystem) @async <τ_0_0 where τ_0_0 : CommonProviderFileSystem> (@guaranteed FilePath, @in_guaranteed τ_0_0) -> (Date, @error any Error) // type-defs: %49; user: %52
  try_apply %51<@opened("961E7DAA-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self>(%50, %49) : $@convention(witness_method: CommonProviderFileSystem) @async <τ_0_0 where τ_0_0 : CommonProviderFileSystem> (@guaranteed FilePath, @in_guaranteed τ_0_0) -> (Date, @error any Error), normal bb2, error bb26 // type-defs: %49; id: %52

// %53                                            // user: %56
bb2(%53 : $Date):                                 // Preds: bb1
  end_borrow %50                                  // id: %54
  hop_to_executor %5                              // id: %55
  %56 = move_value [var_decl] %53                 // users: %398, %438, %156, %477, %528, %515, %93, %65, %483, %57
  debug_value %56, let, name "candidateTimestamp" // id: %57
  destroy_addr %47                                // id: %58
  dealloc_stack %47                               // id: %59
  %60 = alloc_stack $Optional<(Date, FilePath)>   // users: %86, %482, %77, %72
  // function_ref closure #1 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %61 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF20FoundationEssentials4DateV_13SystemPackage0C4PathVtSgAC7Storage33_7EDF63964AC1ADFDF3D5AAC430BDF058LLVyx_GzYuYTXEfU_ : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@sil_sending @inout ReloadingFileProvider<τ_0_0>.Storage, @guaranteed FilePath, Date, @guaranteed Logger, @guaranteed ReloadingFileProvider<τ_0_0>) -> (@sil_sending @out Optional<(Date, FilePath)>, @error_indirect Never) // user: %65
  %62 = copy_value %42                            // user: %65
  %63 = copy_value %0                             // user: %65
  %64 = copy_value %1                             // user: %65
  %65 = partial_apply [callee_guaranteed] %61<Snapshot>(%62, %56, %63, %64) : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@sil_sending @inout ReloadingFileProvider<τ_0_0>.Storage, @guaranteed FilePath, Date, @guaranteed Logger, @guaranteed ReloadingFileProvider<τ_0_0>) -> (@sil_sending @out Optional<(Date, FilePath)>, @error_indirect Never) // user: %66
  %66 = convert_function %65 to $@callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <ReloadingFileProvider<Snapshot>.Storage, Never, Optional<(Date, FilePath)>> // users: %76, %67
  %67 = convert_escape_to_noescape [not_guaranteed] %66 to $@noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <ReloadingFileProvider<Snapshot>.Storage, Never, Optional<(Date, FilePath)>> // users: %75, %72
  %68 = ref_element_addr %1, #ReloadingFileProvider.storage // user: %69
  %69 = mark_unresolved_non_copyable_value [no_consume_or_assign] %68 // user: %72
  // function_ref Mutex<>.withLock<A, B>(_:)
  %70 = function_ref @$s15Synchronization5MutexVAARi_zrlE8withLockyqd__qd__xzYuqd_0_YKYTXEqd_0_YKs5ErrorRd_0_Ri_d__r0_lF : $@convention(method) <τ_0_0 where τ_0_0 : ~Copyable><τ_1_0, τ_1_1 where τ_1_1 : Error, τ_1_0 : ~Copyable> (@guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <τ_0_0, τ_1_1, τ_1_0>, @in_guaranteed Mutex<τ_0_0>) -> (@sil_sending @out τ_1_0, @error_indirect τ_1_1) // user: %72
  %71 = alloc_stack $Never                        // users: %74, %72
  try_apply %70<ReloadingFileProvider<Snapshot>.Storage, (Date, FilePath)?, Never>(%60, %71, %67, %69) : $@convention(method) <τ_0_0 where τ_0_0 : ~Copyable><τ_1_0, τ_1_1 where τ_1_1 : Error, τ_1_0 : ~Copyable> (@guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <τ_0_0, τ_1_1, τ_1_0>, @in_guaranteed Mutex<τ_0_0>) -> (@sil_sending @out τ_1_0, @error_indirect τ_1_1), normal bb3, error bb27 // id: %72

bb3(%73 : $()):                                   // Preds: bb2
  dealloc_stack %71                               // id: %74
  destroy_value %67                               // id: %75
  destroy_value %66                               // id: %76
  %77 = load [take] %60                           // user: %78
  switch_enum %77, case #Optional.some!enumelt: bb4, case #Optional.none!enumelt: bb23 // id: %78

// %79                                            // user: %80
bb4(%79 : @owned $(Date, FilePath)):              // Preds: bb3
  (%80, %81) = destructure_tuple %79              // users: %82, %84
  %82 = move_value [var_decl] %80                 // users: %397, %437, %156, %476, %527, %514, %93, %83
  debug_value %82, let, name "originalTimestamp"  // id: %83
  %84 = move_value [var_decl] %81                 // users: %396, %436, %149, %475, %526, %513, %91, %85
  debug_value %84, let, name "originalRealPath"   // id: %85
  dealloc_stack %60                               // id: %86
  // function_ref implicit closure #3 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %87 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFAH7MessageVyXEfu1_ : $@convention(thin) () -> @owned Logger.Message // user: %88
  %88 = thin_to_thick_function %87 to $@noescape @callee_guaranteed () -> @owned Logger.Message // user: %112
  // function_ref implicit closure #4 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %89 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFSDySSAH13MetadataValueOGSgyXEfu2_ : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@guaranteed ReloadingFileProvider<τ_0_0>, Date, Date, @guaranteed FilePath, @guaranteed FilePath) -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %93
  %90 = copy_value %1                             // user: %93
  %91 = copy_value %84                            // user: %93
  %92 = copy_value %42                            // user: %93
  %93 = partial_apply [callee_guaranteed] %89<Snapshot>(%90, %82, %56, %91, %92) : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@guaranteed ReloadingFileProvider<τ_0_0>, Date, Date, @guaranteed FilePath, @guaranteed FilePath) -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // users: %116, %94
  %94 = convert_escape_to_noescape [not_guaranteed] %93 to $@noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // users: %115, %112
  %95 = string_literal utf8 "Configuration/ReloadingFileProvider.swift" // user: %100
  %96 = integer_literal $Builtin.Word, 41         // user: %100
  %97 = integer_literal $Builtin.Int1, -1         // user: %100
  %98 = metatype $@thin String.Type               // user: %100
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %99 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %100
  %100 = apply %99(%95, %96, %97, %98) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %114, %112
  %101 = string_literal utf8 "reloadIfNeeded(logger:)" // user: %106
  %102 = integer_literal $Builtin.Word, 23        // user: %106
  %103 = integer_literal $Builtin.Int1, -1        // user: %106
  %104 = metatype $@thin String.Type              // user: %106
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %105 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %106
  %106 = apply %105(%101, %102, %103, %104) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %113, %112
  %107 = integer_literal $Builtin.IntLiteral, 305 // user: %110
  %108 = metatype $@thin UInt.Type                // user: %110
  // function_ref UInt.init(_builtinIntegerLiteral:)
  %109 = function_ref @$sSu22_builtinIntegerLiteralSuBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %110
  %110 = apply %109(%107, %108) : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %112
  // function_ref Logger.debug(_:metadata:file:function:line:)
  %111 = function_ref @$s7Logging6LoggerV5debug_8metadata4file8function4lineyAC7MessageVyXK_SDySSAC13MetadataValueOGSgyXKS2SSutF : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> () // user: %112
  %112 = apply %111(%88, %94, %100, %106, %110, %0) : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> ()
  destroy_value %106                              // id: %113
  destroy_value %100                              // id: %114
  destroy_value %94                               // id: %115
  destroy_value %93                               // id: %116
  %117 = alloc_stack $Data                        // users: %394, %434, %473, %524, %129
  %118 = ref_element_addr %1, #ReloadingFileProvider.fileSystem // user: %120
  %119 = alloc_stack $any CommonProviderFileSystem // users: %132, %131, %512, %511, %121, %120
  copy_addr %118 to [init] %119                   // id: %120
  %121 = open_existential_addr immutable_access %119 to $*@opened("9622240A-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self // users: %124, %124, %123
  %122 = begin_borrow %42                         // users: %126, %124, %510
  %123 = witness_method $@opened("9622240A-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self, #CommonProviderFileSystem.fileContents : <Self where Self : CommonProviderFileSystem> (Self) -> (SystemPackage.FilePath) async throws -> Data, %121 : $*@opened("9622240A-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self : $@convention(witness_method: CommonProviderFileSystem) @async <τ_0_0 where τ_0_0 : CommonProviderFileSystem> (@guaranteed FilePath, @in_guaranteed τ_0_0) -> (@owned Data, @error any Error) // type-defs: %121; user: %124
  try_apply %123<@opened("9622240A-B8A0-11F0-A738-22CD1D642651", any CommonProviderFileSystem) Self>(%122, %121) : $@convention(witness_method: CommonProviderFileSystem) @async <τ_0_0 where τ_0_0 : CommonProviderFileSystem> (@guaranteed FilePath, @in_guaranteed τ_0_0) -> (@owned Data, @error any Error), normal bb5, error bb28 // type-defs: %121; id: %124

// %125                                           // user: %128
bb5(%125 : @owned $Data):                         // Preds: bb4
  end_borrow %122                                 // id: %126
  hop_to_executor %5                              // id: %127
  %128 = move_value [lexical] [var_decl] %125     // users: %395, %435, %155, %474, %525, %129, %130
  %129 = store_borrow %128 to %117                // users: %393, %433, %472, %523, %136
  debug_value %128, let, name "data"              // id: %130
  destroy_addr %119                               // id: %131
  dealloc_stack %119                              // id: %132
  %133 = alloc_stack [lexical] [var_decl] $Snapshot, let, name "newSnapshot" // users: %392, %391, %432, %431, %151, %471, %470, %143, %522
  %134 = metatype $@thick Snapshot.Type           // user: %143
  // function_ref Data.bytes.getter
  %135 = function_ref @$s20FoundationEssentials4DataV5bytess7RawSpanVvg : $@convention(method) (@in_guaranteed Data) -> @lifetime(borrow address_for_deps 0) @owned RawSpan // user: %136
  %136 = apply %135(%129) : $@convention(method) (@in_guaranteed Data) -> @lifetime(borrow address_for_deps 0) @owned RawSpan // user: %143
  %137 = ref_element_addr %1, #ReloadingFileProvider.providerName // user: %138
  %138 = load [copy] %137                         // user: %143
  %139 = ref_element_addr %1, #ReloadingFileProvider.parsingOptions // user: %141
  %140 = alloc_stack $Snapshot.ParsingOptions     // users: %145, %143, %521, %141
  copy_addr %139 to [init] %140                   // id: %141
  %142 = witness_method $Snapshot, #FileConfigSnapshot.init!allocator : <Self where Self : FileConfigSnapshot> (Self.Type) -> (RawSpan, String, Self.ParsingOptions) throws -> Self : $@convention(witness_method: FileConfigSnapshot) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@owned RawSpan, @owned String, @in τ_0_0.ParsingOptions, @thick τ_0_0.Type) -> (@out τ_0_0, @error any Error) // user: %143
  try_apply %142<Snapshot>(%133, %136, %138, %140, %134) : $@convention(witness_method: FileConfigSnapshot) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@owned RawSpan, @owned String, @in τ_0_0.ParsingOptions, @thick τ_0_0.Type) -> (@out τ_0_0, @error any Error), normal bb6, error bb29 // id: %143

bb6(%144 : $()):                                  // Preds: bb5
  dealloc_stack %140                              // id: %145
  %146 = alloc_stack [lexical] [var_decl] $(Snapshot, Array<AsyncStream<Snapshot>.Continuation>), let, name "snapshotWatchersToNotify" // users: %389, %388, %361, %338, %315, %429, %428, %212, %176, %445
  %147 = alloc_stack $Optional<(Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>, (Snapshot, Array<AsyncStream<Snapshot>.Continuation>))> // users: %177, %170, %444, %443, %169, %163
  // function_ref closure #2 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %148 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFSayAA17AbsoluteConfigKeyV_s6ResultOyAA06LookupN0Vs5Error_pGSayScS12ContinuationVyAP_GGtG_x_SayARyx_GGttSgAC7Storage33_7EDF63964AC1ADFDF3D5AAC430BDF058LLVyx_GzYuYTXEfU0_ : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@sil_sending @inout ReloadingFileProvider<τ_0_0>.Storage, Date, @guaranteed FilePath, @in_guaranteed τ_0_0, Date, @guaranteed FilePath, @guaranteed Logger, @guaranteed ReloadingFileProvider<τ_0_0>, @guaranteed Data) -> (@sil_sending @out Optional<(Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>, (τ_0_0, Array<AsyncStream<τ_0_0>.Continuation>))>, @error_indirect Never) // user: %156
  %149 = copy_value %84                           // user: %156
  %150 = alloc_stack $Snapshot                    // users: %168, %156, %151
  copy_addr %133 to [init] %150                   // id: %151
  %152 = copy_value %42                           // user: %156
  %153 = copy_value %0                            // user: %156
  %154 = copy_value %1                            // user: %156
  %155 = copy_value %128                          // user: %156
  %156 = partial_apply [callee_guaranteed] %148<Snapshot>(%82, %149, %150, %56, %152, %153, %154, %155) : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@sil_sending @inout ReloadingFileProvider<τ_0_0>.Storage, Date, @guaranteed FilePath, @in_guaranteed τ_0_0, Date, @guaranteed FilePath, @guaranteed Logger, @guaranteed ReloadingFileProvider<τ_0_0>, @guaranteed Data) -> (@sil_sending @out Optional<(Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>, (τ_0_0, Array<AsyncStream<τ_0_0>.Continuation>))>, @error_indirect Never) // user: %157
  %157 = convert_function %156 to $@callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <ReloadingFileProvider<Snapshot>.Storage, Never, Optional<(Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>, (Snapshot, Array<AsyncStream<Snapshot>.Continuation>))>> // users: %167, %158
  %158 = convert_escape_to_noescape [not_guaranteed] %157 to $@noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <ReloadingFileProvider<Snapshot>.Storage, Never, Optional<(Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>, (Snapshot, Array<AsyncStream<Snapshot>.Continuation>))>> // users: %166, %163
  %159 = ref_element_addr %1, #ReloadingFileProvider.storage // user: %160
  %160 = mark_unresolved_non_copyable_value [no_consume_or_assign] %159 // user: %163
  // function_ref Mutex<>.withLock<A, B>(_:)
  %161 = function_ref @$s15Synchronization5MutexVAARi_zrlE8withLockyqd__qd__xzYuqd_0_YKYTXEqd_0_YKs5ErrorRd_0_Ri_d__r0_lF : $@convention(method) <τ_0_0 where τ_0_0 : ~Copyable><τ_1_0, τ_1_1 where τ_1_1 : Error, τ_1_0 : ~Copyable> (@guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <τ_0_0, τ_1_1, τ_1_0>, @in_guaranteed Mutex<τ_0_0>) -> (@sil_sending @out τ_1_0, @error_indirect τ_1_1) // user: %163
  %162 = alloc_stack $Never                       // users: %165, %163
  try_apply %161<ReloadingFileProvider<Snapshot>.Storage, ([(AbsoluteConfigKey, Result<LookupResult, any Error>, [AsyncStream<Result<LookupResult, any Error>>.Continuation])], (Snapshot, [AsyncStream<Snapshot>.Continuation]))?, Never>(%147, %162, %158, %160) : $@convention(method) <τ_0_0 where τ_0_0 : ~Copyable><τ_1_0, τ_1_1 where τ_1_1 : Error, τ_1_0 : ~Copyable> (@guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@sil_sending @inout τ_0_0) -> (@sil_sending @out τ_0_2, @error_indirect τ_0_1) for <τ_0_0, τ_1_1, τ_1_0>, @in_guaranteed Mutex<τ_0_0>) -> (@sil_sending @out τ_1_0, @error_indirect τ_1_1), normal bb7, error bb30 // id: %163

bb7(%164 : $()):                                  // Preds: bb6
  dealloc_stack %162                              // id: %165
  destroy_value %158                              // id: %166
  destroy_value %157                              // id: %167
  dealloc_stack %150                              // id: %168
  switch_enum_addr %147, case #Optional.some!enumelt: bb8, case #Optional.none!enumelt: bb22 // id: %169

bb8:                                              // Preds: bb7
  %170 = unchecked_take_enum_data_addr %147, #Optional.some!enumelt // users: %173, %171
  %171 = tuple_element_addr %170, 0               // user: %172
  %172 = load [take] %171                         // user: %174
  %173 = tuple_element_addr %170, 1               // user: %176
  %174 = move_value [var_decl] %172               // users: %390, %359, %240, %430, %180, %175
  debug_value %174, let, name "valueWatchersToNotify" // id: %175
  copy_addr [take] %173 to [init] %146            // id: %176
  dealloc_stack %147                              // id: %177
  %178 = metatype $@thin Int.Type                 // user: %222
  %179 = alloc_stack $Int                         // users: %225, %210, %205
  %180 = begin_borrow %174                        // users: %192, %182
  %181 = alloc_stack $Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)> // users: %191, %182
  %182 = store_borrow %180 to %181                // users: %190, %187
  // function_ref closure #3 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %183 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFSiAA17AbsoluteConfigKeyV_s6ResultOyAA06LookupN0Vs5Error_pGSayScS12ContinuationVyAP_GGt_tXEfU1_ : $@convention(thin) @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>), Never, Int> // user: %184
  %184 = thin_to_thick_function %183 to $@noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>), Never, Int> // user: %187
  // function_ref Collection.map<A, B>(_:)
  %185 = function_ref @$sSlsE3mapySayqd__Gqd__7ElementQzqd_0_YKXEqd_0_YKs5ErrorRd_0_r0_lF : $@convention(method) <τ_0_0 where τ_0_0 : Collection><τ_1_0, τ_1_1 where τ_1_1 : Error> (@guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <τ_0_0.Element, τ_1_1, τ_1_0>, @in_guaranteed τ_0_0) -> (@owned Array<τ_1_0>, @error_indirect τ_1_1) // user: %187
  %186 = alloc_stack $Never                       // users: %189, %187
  try_apply %185<[(AbsoluteConfigKey, Result<LookupResult, any Error>, [AsyncStream<Result<LookupResult, any Error>>.Continuation])], Int, Never>(%186, %184, %182) : $@convention(method) <τ_0_0 where τ_0_0 : Collection><τ_1_0, τ_1_1 where τ_1_1 : Error> (@guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0) -> (@out τ_0_2, @error_indirect τ_0_1) for <τ_0_0.Element, τ_1_1, τ_1_0>, @in_guaranteed τ_0_0) -> (@owned Array<τ_1_0>, @error_indirect τ_1_1), normal bb9, error bb31 // id: %187

// %188                                           // user: %194
bb9(%188 : @owned $Array<Int>):                   // Preds: bb8
  dealloc_stack %186                              // id: %189
  end_borrow %182                                 // id: %190
  dealloc_stack %181                              // id: %191
  end_borrow %180                                 // id: %192
  %193 = alloc_stack $Array<Int>                  // users: %209, %208, %205, %194
  store %188 to [init] %193                       // id: %194
  %195 = integer_literal $Builtin.IntLiteral, 0   // user: %198
  %196 = metatype $@thin Int.Type                 // user: %198
  // function_ref Int.init(_builtinIntegerLiteral:)
  %197 = function_ref @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %198
  %198 = apply %197(%195, %196) : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %200
  %199 = alloc_stack $Int                         // users: %207, %205, %200
  store %198 to [trivial] %199                    // id: %200
  // function_ref implicit closure #7 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %201 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFS2i_SitYbcfu5_ : $@convention(thin) @Sendable @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0, @in_guaranteed τ_0_1) -> (@out τ_0_2, @error any Error) for <Int, Int, Int> // user: %202
  %202 = convert_function %201 to $@convention(thin) @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0, @in_guaranteed τ_0_1) -> (@out τ_0_2, @error any Error) for <Int, Int, Int> // user: %203
  %203 = thin_to_thick_function %202 to $@noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0, @in_guaranteed τ_0_1) -> (@out τ_0_2, @error any Error) for <Int, Int, Int> // user: %205
  // function_ref Sequence.reduce<A>(_:_:)
  %204 = function_ref @$sSTsE6reduceyqd__qd___qd__qd___7ElementQztKXEtKlF : $@convention(method) <τ_0_0 where τ_0_0 : Sequence><τ_1_0> (@in_guaranteed τ_1_0, @guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0, @in_guaranteed τ_0_1) -> (@out τ_0_2, @error any Error) for <τ_1_0, τ_0_0.Element, τ_1_0>, @in_guaranteed τ_0_0) -> (@out τ_1_0, @error any Error) // user: %205
  try_apply %204<[Int], Int>(%179, %199, %203, %193) : $@convention(method) <τ_0_0 where τ_0_0 : Sequence><τ_1_0> (@in_guaranteed τ_1_0, @guaranteed @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1, τ_0_2> (@in_guaranteed τ_0_0, @in_guaranteed τ_0_1) -> (@out τ_0_2, @error any Error) for <τ_1_0, τ_0_0.Element, τ_1_0>, @in_guaranteed τ_0_0) -> (@out τ_1_0, @error any Error), normal bb10, error bb32 // id: %205

bb10(%206 : $()):                                 // Preds: bb9
  dealloc_stack %199                              // id: %207
  destroy_addr %193                               // id: %208
  dealloc_stack %193                              // id: %209
  %210 = load [trivial] %179                      // user: %222
  %211 = alloc_stack $(Snapshot, Array<AsyncStream<Snapshot>.Continuation>) // users: %224, %214, %213, %212
  copy_addr %146 to [init] %211                   // id: %212
  %213 = tuple_element_addr %211, 0               // user: %223
  %214 = tuple_element_addr %211, 1               // user: %215
  %215 = load [take] %214                         // users: %220, %216
  %216 = begin_borrow %215                        // users: %219, %218
  // function_ref Array.count.getter
  %217 = function_ref @$sSa5countSivg : $@convention(method) <τ_0_0> (@guaranteed Array<τ_0_0>) -> Int // user: %218
  %218 = apply %217<AsyncStream<Snapshot>.Continuation>(%216) : $@convention(method) <τ_0_0> (@guaranteed Array<τ_0_0>) -> Int // user: %222
  end_borrow %216                                 // id: %219
  destroy_value %215                              // id: %220
  // function_ref static Int.+ infix(_:_:)
  %221 = function_ref @$sSi1poiyS2i_SitFZ : $@convention(method) (Int, Int, @thin Int.Type) -> Int // user: %222
  %222 = apply %221(%210, %218, %178) : $@convention(method) (Int, Int, @thin Int.Type) -> Int // user: %226
  destroy_addr %213                               // id: %223
  dealloc_stack %211                              // id: %224
  dealloc_stack %179                              // id: %225
  %226 = move_value [var_decl] %222               // users: %387, %362, %234, %427, %227
  debug_value %226, let, name "totalWatchers"     // id: %227
  %228 = metatype $@thin Int.Type                 // user: %234
  %229 = integer_literal $Builtin.IntLiteral, 0   // user: %232
  %230 = metatype $@thin Int.Type                 // user: %232
  // function_ref Int.init(_builtinIntegerLiteral:)
  %231 = function_ref @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %232
  %232 = apply %231(%229, %230) : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %234
  // function_ref static Int.> infix(_:_:)
  %233 = function_ref @$sSi1goiySbSi_SitFZ : $@convention(method) (Int, Int, @thin Int.Type) -> Bool // user: %234
  %234 = apply %233(%226, %232, %228) : $@convention(method) (Int, Int, @thin Int.Type) -> Bool // user: %235
  %235 = struct_extract %234, #Bool._value        // user: %236
  cond_br %235, bb11, bb21                        // id: %236

bb11:                                             // Preds: bb10
  %237 = alloc_box ${ var IndexingIterator<Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>> }, var, name "$generator" // users: %310, %238
  %238 = begin_borrow [var_decl] %237             // users: %309, %239
  %239 = project_box %238, 0                      // users: %250, %245
  %240 = begin_borrow %174                        // users: %247, %241
  %241 = copy_value %240                          // user: %243
  %242 = alloc_stack $Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)> // users: %246, %245, %243
  store %241 to [init] %242                       // id: %243
  // function_ref Collection<>.makeIterator()
  %244 = function_ref @$sSlss16IndexingIteratorVyxG0B0RtzrlE04makeB0ACyF : $@convention(method) <τ_0_0 where τ_0_0 : Collection, τ_0_0.Iterator == IndexingIterator<τ_0_0>> (@in τ_0_0) -> @out IndexingIterator<τ_0_0> // user: %245
  %245 = apply %244<[(AbsoluteConfigKey, Result<LookupResult, any Error>, [AsyncStream<Result<LookupResult, any Error>>.Continuation])]>(%239, %242) : $@convention(method) <τ_0_0 where τ_0_0 : Collection, τ_0_0.Iterator == IndexingIterator<τ_0_0>> (@in τ_0_0) -> @out IndexingIterator<τ_0_0>
  dealloc_stack %242                              // id: %246
  end_borrow %240                                 // id: %247
  br bb12                                         // id: %248

bb12:                                             // Preds: bb16 bb11
  %249 = alloc_stack $Optional<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)> // users: %255, %254, %252
  %250 = begin_access [modify] [unknown] %239     // users: %253, %252
  // function_ref IndexingIterator.next()
  %251 = function_ref @$ss16IndexingIteratorV4next7ElementQzSgyF : $@convention(method) <τ_0_0 where τ_0_0 : Collection> (@inout IndexingIterator<τ_0_0>) -> @out Optional<τ_0_0.Element> // user: %252
  %252 = apply %251<[(AbsoluteConfigKey, Result<LookupResult, any Error>, [AsyncStream<Result<LookupResult, any Error>>.Continuation])]>(%249, %250) : $@convention(method) <τ_0_0 where τ_0_0 : Collection> (@inout IndexingIterator<τ_0_0>) -> @out Optional<τ_0_0.Element>
  end_access %250                                 // id: %253
  %254 = load [take] %249                         // user: %256
  dealloc_stack %249                              // id: %255
  switch_enum %254, case #Optional.some!enumelt: bb13, case #Optional.none!enumelt: bb17 // id: %256

// %257                                           // user: %258
bb13(%257 : @owned $(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)): // Preds: bb12
  (%258, %259, %260) = destructure_tuple %257     // users: %305, %261, %262, %264
  ignored_use %258                                // id: %261
  %262 = move_value [lexical] [var_decl] %259     // users: %307, %288, %263
  debug_value %262, let, name "valueUpdate"       // id: %263
  %264 = move_value [var_decl] %260               // users: %306, %269, %265
  debug_value %264, let, name "watchers"          // id: %265
  %266 = alloc_box ${ var IndexingIterator<Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>> }, var, name "$watcher$generator" // users: %304, %267
  %267 = begin_borrow [var_decl] %266             // users: %303, %268
  %268 = project_box %267, 0                      // users: %279, %274
  %269 = begin_borrow %264                        // users: %276, %270
  %270 = copy_value %269                          // user: %272
  %271 = alloc_stack $Array<AsyncStream<Result<LookupResult, any Error>>.Continuation> // users: %275, %274, %272
  store %270 to [init] %271                       // id: %272
  // function_ref Collection<>.makeIterator()
  %273 = function_ref @$sSlss16IndexingIteratorVyxG0B0RtzrlE04makeB0ACyF : $@convention(method) <τ_0_0 where τ_0_0 : Collection, τ_0_0.Iterator == IndexingIterator<τ_0_0>> (@in τ_0_0) -> @out IndexingIterator<τ_0_0> // user: %274
  %274 = apply %273<[AsyncStream<Result<LookupResult, any Error>>.Continuation]>(%268, %271) : $@convention(method) <τ_0_0 where τ_0_0 : Collection, τ_0_0.Iterator == IndexingIterator<τ_0_0>> (@in τ_0_0) -> @out IndexingIterator<τ_0_0>
  dealloc_stack %271                              // id: %275
  end_borrow %269                                 // id: %276
  %277 = alloc_stack $Optional<AsyncStream<Result<LookupResult, any Error>>.Continuation> // users: %302, %285, %283, %281
  br bb14                                         // id: %278

bb14:                                             // Preds: bb15 bb13
  %279 = begin_access [modify] [unknown] %268     // users: %282, %281
  // function_ref IndexingIterator.next()
  %280 = function_ref @$ss16IndexingIteratorV4next7ElementQzSgyF : $@convention(method) <τ_0_0 where τ_0_0 : Collection> (@inout IndexingIterator<τ_0_0>) -> @out Optional<τ_0_0.Element> // user: %281
  %281 = apply %280<[AsyncStream<Result<LookupResult, any Error>>.Continuation]>(%277, %279) : $@convention(method) <τ_0_0 where τ_0_0 : Collection> (@inout IndexingIterator<τ_0_0>) -> @out Optional<τ_0_0.Element>
  end_access %279                                 // id: %282
  switch_enum_addr %277, case #Optional.some!enumelt: bb15, case #Optional.none!enumelt: bb16 // id: %283

bb15:                                             // Preds: bb14
  %284 = alloc_stack [lexical] [var_decl] $AsyncStream<Result<LookupResult, any Error>>.Continuation, let, name "watcher" // users: %300, %299, %293, %286
  %285 = unchecked_take_enum_data_addr %277, #Optional.some!enumelt // user: %286
  copy_addr [take] %285 to [init] %284            // id: %286
  %287 = alloc_stack $AsyncStream<Result<LookupResult, any Error>>.Continuation.YieldResult // users: %298, %297, %296, %293
  %288 = begin_borrow %262                        // users: %295, %289
  %289 = copy_value %288                          // user: %291
  %290 = alloc_stack $Result<LookupResult, any Error> // users: %294, %293, %291
  store %289 to [init] %290                       // id: %291
  // function_ref AsyncStream.Continuation.yield(_:)
  %292 = function_ref @$sScS12ContinuationV5yieldyAB11YieldResultOyx__GxnF : $@convention(method) <τ_0_0> (@sil_sending @in τ_0_0, @in_guaranteed AsyncStream<τ_0_0>.Continuation) -> @out AsyncStream<τ_0_0>.Continuation.YieldResult // user: %293
  %293 = apply %292<Result<LookupResult, any Error>>(%287, %290, %284) : $@convention(method) <τ_0_0> (@sil_sending @in τ_0_0, @in_guaranteed AsyncStream<τ_0_0>.Continuation) -> @out AsyncStream<τ_0_0>.Continuation.YieldResult
  dealloc_stack %290                              // id: %294
  end_borrow %288                                 // id: %295
  ignored_use %287                                // id: %296
  destroy_addr %287                               // id: %297
  dealloc_stack %287                              // id: %298
  destroy_addr %284                               // id: %299
  dealloc_stack %284                              // id: %300
  br bb14                                         // id: %301

bb16:                                             // Preds: bb14
  dealloc_stack %277                              // id: %302
  end_borrow %267                                 // id: %303
  destroy_value %266                              // id: %304
  destroy_value %258                              // id: %305
  destroy_value %264                              // id: %306
  destroy_value %262                              // id: %307
  br bb12                                         // id: %308

bb17:                                             // Preds: bb12
  end_borrow %238                                 // id: %309
  destroy_value %237                              // id: %310
  %311 = alloc_box $<τ_0_0 where τ_0_0 : FileConfigSnapshot> { var IndexingIterator<Array<AsyncStream<τ_0_0>.Continuation>> } <Snapshot>, var, name "$watcher$generator" // users: %354, %312
  %312 = begin_borrow [var_decl] %311             // users: %353, %313
  %313 = project_box %312, 0                      // users: %328, %322
  %314 = alloc_stack $(Snapshot, Array<AsyncStream<Snapshot>.Continuation>) // users: %325, %317, %316, %315
  copy_addr %146 to [init] %314                   // id: %315
  %316 = tuple_element_addr %314, 0               // user: %324
  %317 = tuple_element_addr %314, 1               // user: %318
  %318 = load [take] %317                         // user: %320
  %319 = alloc_stack $Array<AsyncStream<Snapshot>.Continuation> // users: %323, %322, %320
  store %318 to [init] %319                       // id: %320
  // function_ref Collection<>.makeIterator()
  %321 = function_ref @$sSlss16IndexingIteratorVyxG0B0RtzrlE04makeB0ACyF : $@convention(method) <τ_0_0 where τ_0_0 : Collection, τ_0_0.Iterator == IndexingIterator<τ_0_0>> (@in τ_0_0) -> @out IndexingIterator<τ_0_0> // user: %322
  %322 = apply %321<[AsyncStream<Snapshot>.Continuation]>(%313, %319) : $@convention(method) <τ_0_0 where τ_0_0 : Collection, τ_0_0.Iterator == IndexingIterator<τ_0_0>> (@in τ_0_0) -> @out IndexingIterator<τ_0_0>
  dealloc_stack %319                              // id: %323
  destroy_addr %316                               // id: %324
  dealloc_stack %314                              // id: %325
  %326 = alloc_stack $Optional<AsyncStream<Snapshot>.Continuation> // users: %352, %334, %332, %330
  br bb18                                         // id: %327

bb18:                                             // Preds: bb19 bb17
  %328 = begin_access [modify] [unknown] %313     // users: %331, %330
  // function_ref IndexingIterator.next()
  %329 = function_ref @$ss16IndexingIteratorV4next7ElementQzSgyF : $@convention(method) <τ_0_0 where τ_0_0 : Collection> (@inout IndexingIterator<τ_0_0>) -> @out Optional<τ_0_0.Element> // user: %330
  %330 = apply %329<[AsyncStream<Snapshot>.Continuation]>(%326, %328) : $@convention(method) <τ_0_0 where τ_0_0 : Collection> (@inout IndexingIterator<τ_0_0>) -> @out Optional<τ_0_0.Element>
  end_access %328                                 // id: %331
  switch_enum_addr %326, case #Optional.some!enumelt: bb19, case #Optional.none!enumelt: bb20 // id: %332

bb19:                                             // Preds: bb18
  %333 = alloc_stack [lexical] [var_decl] $AsyncStream<Snapshot>.Continuation, let, name "watcher" // users: %350, %349, %343, %335
  %334 = unchecked_take_enum_data_addr %326, #Optional.some!enumelt // user: %335
  copy_addr [take] %334 to [init] %333            // id: %335
  %336 = alloc_stack $AsyncStream<Snapshot>.Continuation.YieldResult // users: %348, %347, %346, %343
  %337 = alloc_stack $(Snapshot, Array<AsyncStream<Snapshot>.Continuation>) // users: %345, %340, %339, %338
  copy_addr %146 to [init] %337                   // id: %338
  %339 = tuple_element_addr %337, 0               // user: %343
  %340 = tuple_element_addr %337, 1               // user: %341
  %341 = load [take] %340                         // user: %344
  // function_ref AsyncStream.Continuation.yield(_:)
  %342 = function_ref @$sScS12ContinuationV5yieldyAB11YieldResultOyx__GxnF : $@convention(method) <τ_0_0> (@sil_sending @in τ_0_0, @in_guaranteed AsyncStream<τ_0_0>.Continuation) -> @out AsyncStream<τ_0_0>.Continuation.YieldResult // user: %343
  %343 = apply %342<Snapshot>(%336, %339, %333) : $@convention(method) <τ_0_0> (@sil_sending @in τ_0_0, @in_guaranteed AsyncStream<τ_0_0>.Continuation) -> @out AsyncStream<τ_0_0>.Continuation.YieldResult
  destroy_value %341                              // id: %344
  dealloc_stack %337                              // id: %345
  ignored_use %336                                // id: %346
  destroy_addr %336                               // id: %347
  dealloc_stack %336                              // id: %348
  destroy_addr %333                               // id: %349
  dealloc_stack %333                              // id: %350
  br bb18                                         // id: %351

bb20:                                             // Preds: bb18
  dealloc_stack %326                              // id: %352
  end_borrow %312                                 // id: %353
  destroy_value %311                              // id: %354
  // function_ref implicit closure #10 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %355 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFAH7MessageVyXEfu8_ : $@convention(thin) () -> @owned Logger.Message // user: %356
  %356 = thin_to_thick_function %355 to $@noescape @callee_guaranteed () -> @owned Logger.Message // user: %381
  // function_ref implicit closure #11 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %357 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFSDySSAH13MetadataValueOGSgyXEfu9_ : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@guaranteed ReloadingFileProvider<τ_0_0>, @guaranteed Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>, @in_guaranteed (τ_0_0, Array<AsyncStream<τ_0_0>.Continuation>), Int) -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %362
  %358 = copy_value %1                            // user: %362
  %359 = copy_value %174                          // user: %362
  %360 = alloc_stack $(Snapshot, Array<AsyncStream<Snapshot>.Continuation>) // users: %386, %362, %361
  copy_addr %146 to [init] %360                   // id: %361
  %362 = partial_apply [callee_guaranteed] %357<Snapshot>(%358, %359, %360, %226) : $@convention(thin) <τ_0_0 where τ_0_0 : FileConfigSnapshot> (@guaranteed ReloadingFileProvider<τ_0_0>, @guaranteed Array<(AbsoluteConfigKey, Result<LookupResult, any Error>, Array<AsyncStream<Result<LookupResult, any Error>>.Continuation>)>, @in_guaranteed (τ_0_0, Array<AsyncStream<τ_0_0>.Continuation>), Int) -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // users: %385, %363
  %363 = convert_escape_to_noescape [not_guaranteed] %362 to $@noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // users: %384, %381
  %364 = string_literal utf8 "Configuration/ReloadingFileProvider.swift" // user: %369
  %365 = integer_literal $Builtin.Word, 41        // user: %369
  %366 = integer_literal $Builtin.Int1, -1        // user: %369
  %367 = metatype $@thin String.Type              // user: %369
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %368 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %369
  %369 = apply %368(%364, %365, %366, %367) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %383, %381
  %370 = string_literal utf8 "reloadIfNeeded(logger:)" // user: %375
  %371 = integer_literal $Builtin.Word, 23        // user: %375
  %372 = integer_literal $Builtin.Int1, -1        // user: %375
  %373 = metatype $@thin String.Type              // user: %375
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %374 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %375
  %375 = apply %374(%370, %371, %372, %373) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %382, %381
  %376 = integer_literal $Builtin.IntLiteral, 416 // user: %379
  %377 = metatype $@thin UInt.Type                // user: %379
  // function_ref UInt.init(_builtinIntegerLiteral:)
  %378 = function_ref @$sSu22_builtinIntegerLiteralSuBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %379
  %379 = apply %378(%376, %377) : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %381
  // function_ref Logger.debug(_:metadata:file:function:line:)
  %380 = function_ref @$s7Logging6LoggerV5debug_8metadata4file8function4lineyAC7MessageVyXK_SDySSAC13MetadataValueOGSgyXKS2SSutF : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> () // user: %381
  %381 = apply %380(%356, %363, %369, %375, %379, %0) : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> ()
  destroy_value %375                              // id: %382
  destroy_value %369                              // id: %383
  destroy_value %363                              // id: %384
  destroy_value %362                              // id: %385
  dealloc_stack %360                              // id: %386
  extend_lifetime %226                            // id: %387
  destroy_addr %146                               // id: %388
  dealloc_stack %146                              // id: %389
  destroy_value %174                              // id: %390
  destroy_addr %133                               // id: %391
  dealloc_stack %133                              // id: %392
  end_borrow %129                                 // id: %393
  dealloc_stack %117                              // id: %394
  destroy_value %128                              // id: %395
  destroy_value %84                               // id: %396
  extend_lifetime %82                             // id: %397
  extend_lifetime %56                             // id: %398
  destroy_value %42                               // id: %399
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %400 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %401
  %401 = apply %400() : $@convention(thin) () -> ()
  br bb24                                         // id: %402

bb21:                                             // Preds: bb10
  // function_ref implicit closure #8 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %403 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFAH7MessageVyXEfu6_ : $@convention(thin) () -> @owned Logger.Message // user: %404
  %404 = thin_to_thick_function %403 to $@noescape @callee_guaranteed () -> @owned Logger.Message // user: %424
  // function_ref implicit closure #9 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %405 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFSDySSAH13MetadataValueOGSgyXEfu7_ : $@convention(thin) () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %406
  %406 = thin_to_thick_function %405 to $@noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %424
  %407 = string_literal utf8 "Configuration/ReloadingFileProvider.swift" // user: %412
  %408 = integer_literal $Builtin.Word, 41        // user: %412
  %409 = integer_literal $Builtin.Int1, -1        // user: %412
  %410 = metatype $@thin String.Type              // user: %412
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %411 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %412
  %412 = apply %411(%407, %408, %409, %410) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %426, %424
  %413 = string_literal utf8 "reloadIfNeeded(logger:)" // user: %418
  %414 = integer_literal $Builtin.Word, 23        // user: %418
  %415 = integer_literal $Builtin.Int1, -1        // user: %418
  %416 = metatype $@thin String.Type              // user: %418
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %417 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %418
  %418 = apply %417(%413, %414, %415, %416) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %425, %424
  %419 = integer_literal $Builtin.IntLiteral, 400 // user: %422
  %420 = metatype $@thin UInt.Type                // user: %422
  // function_ref UInt.init(_builtinIntegerLiteral:)
  %421 = function_ref @$sSu22_builtinIntegerLiteralSuBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %422
  %422 = apply %421(%419, %420) : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %424
  // function_ref Logger.debug(_:metadata:file:function:line:)
  %423 = function_ref @$s7Logging6LoggerV5debug_8metadata4file8function4lineyAC7MessageVyXK_SDySSAC13MetadataValueOGSgyXKS2SSutF : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> () // user: %424
  %424 = apply %423(%404, %406, %412, %418, %422, %0) : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> ()
  destroy_value %418                              // id: %425
  destroy_value %412                              // id: %426
  extend_lifetime %226                            // id: %427
  destroy_addr %146                               // id: %428
  dealloc_stack %146                              // id: %429
  destroy_value %174                              // id: %430
  destroy_addr %133                               // id: %431
  dealloc_stack %133                              // id: %432
  end_borrow %129                                 // id: %433
  dealloc_stack %117                              // id: %434
  destroy_value %128                              // id: %435
  destroy_value %84                               // id: %436
  extend_lifetime %82                             // id: %437
  extend_lifetime %56                             // id: %438
  destroy_value %42                               // id: %439
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %440 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %441
  %441 = apply %440() : $@convention(thin) () -> ()
  br bb24                                         // id: %442

bb22:                                             // Preds: bb7
  destroy_addr %147                               // id: %443
  dealloc_stack %147                              // id: %444
  dealloc_stack %146                              // id: %445
  // function_ref implicit closure #5 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %446 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFAH7MessageVyXEfu3_ : $@convention(thin) () -> @owned Logger.Message // user: %447
  %447 = thin_to_thick_function %446 to $@noescape @callee_guaranteed () -> @owned Logger.Message // user: %467
  // function_ref implicit closure #6 in ReloadingFileProvider.reloadIfNeeded(logger:)
  %448 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKFSDySSAH13MetadataValueOGSgyXEfu4_ : $@convention(thin) () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %449
  %449 = thin_to_thick_function %448 to $@noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>> // user: %467
  %450 = string_literal utf8 "Configuration/ReloadingFileProvider.swift" // user: %455
  %451 = integer_literal $Builtin.Word, 41        // user: %455
  %452 = integer_literal $Builtin.Int1, -1        // user: %455
  %453 = metatype $@thin String.Type              // user: %455
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %454 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %455
  %455 = apply %454(%450, %451, %452, %453) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %469, %467
  %456 = string_literal utf8 "reloadIfNeeded(logger:)" // user: %461
  %457 = integer_literal $Builtin.Word, 23        // user: %461
  %458 = integer_literal $Builtin.Int1, -1        // user: %461
  %459 = metatype $@thin String.Type              // user: %461
  // function_ref String.init(_builtinStringLiteral:utf8CodeUnitCount:isASCII:)
  %460 = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // user: %461
  %461 = apply %460(%456, %457, %458, %459) : $@convention(method) (Builtin.RawPointer, Builtin.Word, Builtin.Int1, @thin String.Type) -> @owned String // users: %468, %467
  %462 = integer_literal $Builtin.IntLiteral, 393 // user: %465
  %463 = metatype $@thin UInt.Type                // user: %465
  // function_ref UInt.init(_builtinIntegerLiteral:)
  %464 = function_ref @$sSu22_builtinIntegerLiteralSuBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %465
  %465 = apply %464(%462, %463) : $@convention(method) (Builtin.IntLiteral, @thin UInt.Type) -> UInt // user: %467
  // function_ref Logger.debug(_:metadata:file:function:line:)
  %466 = function_ref @$s7Logging6LoggerV5debug_8metadata4file8function4lineyAC7MessageVyXK_SDySSAC13MetadataValueOGSgyXKS2SSutF : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> () // user: %467
  %467 = apply %466(%447, %449, %455, %461, %465, %0) : $@convention(method) (@guaranteed @noescape @callee_guaranteed () -> @owned Logger.Message, @guaranteed @noescape @callee_guaranteed () -> @owned Optional<Dictionary<String, Logger.MetadataValue>>, @guaranteed String, @guaranteed String, UInt, @guaranteed Logger) -> ()
  destroy_value %461                              // id: %468
  destroy_value %455                              // id: %469
  destroy_addr %133                               // id: %470
  dealloc_stack %133                              // id: %471
  end_borrow %129                                 // id: %472
  dealloc_stack %117                              // id: %473
  destroy_value %128                              // id: %474
  destroy_value %84                               // id: %475
  extend_lifetime %82                             // id: %476
  extend_lifetime %56                             // id: %477
  destroy_value %42                               // id: %478
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %479 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %480
  %480 = apply %479() : $@convention(thin) () -> ()
  br bb24                                         // id: %481

bb23:                                             // Preds: bb3
  dealloc_stack %60                               // id: %482
  extend_lifetime %56                             // id: %483
  destroy_value %42                               // id: %484
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %485 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %486
  %486 = apply %485() : $@convention(thin) () -> ()
  br bb24                                         // id: %487

bb24:                                             // Preds: bb20 bb21 bb22 bb23
  %488 = tuple ()                                 // user: %489
  return %488                                     // id: %489

// %490                                           // user: %497
bb25(%490 : @owned $any Error):                   // Preds: bb0
  hop_to_executor %5                              // id: %491
  destroy_value %36                               // id: %492
  destroy_addr %32                                // id: %493
  dealloc_stack %32                               // id: %494
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %495 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %496
  %496 = apply %495() : $@convention(thin) () -> ()
  br bb33(%490)                                   // id: %497

// %498                                           // user: %506
bb26(%498 : @owned $any Error):                   // Preds: bb1
  hop_to_executor %5                              // id: %499
  end_borrow %50                                  // id: %500
  destroy_addr %47                                // id: %501
  dealloc_stack %47                               // id: %502
  destroy_value %42                               // id: %503
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %504 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %505
  %505 = apply %504() : $@convention(thin) () -> ()
  br bb33(%498)                                   // id: %506

bb27:                                             // Preds: bb2
  unreachable                                     // id: %507

// %508                                           // user: %519
bb28(%508 : @owned $any Error):                   // Preds: bb4
  hop_to_executor %5                              // id: %509
  end_borrow %122                                 // id: %510
  destroy_addr %119                               // id: %511
  dealloc_stack %119                              // id: %512
  destroy_value %84                               // id: %513
  extend_lifetime %82                             // id: %514
  extend_lifetime %56                             // id: %515
  destroy_value %42                               // id: %516
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %517 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %518
  %518 = apply %517() : $@convention(thin) () -> ()
  br bb33(%508)                                   // id: %519

// %520                                           // user: %532
bb29(%520 : @owned $any Error):                   // Preds: bb5
  dealloc_stack %140                              // id: %521
  dealloc_stack %133                              // id: %522
  end_borrow %129                                 // id: %523
  dealloc_stack %117                              // id: %524
  destroy_value %128                              // id: %525
  destroy_value %84                               // id: %526
  extend_lifetime %82                             // id: %527
  extend_lifetime %56                             // id: %528
  destroy_value %42                               // id: %529
  // function_ref $defer #1 <A>() in ReloadingFileProvider.reloadIfNeeded(logger:)
  %530 = function_ref @$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF6$deferL_yyAA0C14ConfigSnapshotRzlF : $@convention(thin) () -> () // user: %531
  %531 = apply %530() : $@convention(thin) () -> ()
  br bb33(%520)                                   // id: %532

bb30:                                             // Preds: bb6
  unreachable                                     // id: %533

bb31:                                             // Preds: bb8
  unreachable                                     // id: %534

bb32(%535 : @owned $any Error):                   // Preds: bb9
  unreachable                                     // id: %536

// %537                                           // user: %538
bb33(%537 : @owned $any Error):                   // Preds: bb29 bb28 bb26 bb25
  throw %537                                      // id: %538
} // end sil function '$s13Configuration21ReloadingFileProviderC14reloadIfNeeded6loggery7Logging6LoggerV_tYaKF'

[slavapestov]

It's not a regression, the bug was always there, but the 6.2-dev snapshots are built with assertions enabled whereas the 6.2 release was not. Probably this was fixed on main by #84811

[czechboy0]

Thanks @slavapestov, I don't presume this will get backported, so we should just disable nightly-6.2 CI on our project?

[tbkka]

@rjmccall -- How hard would it be to back port #84811 to the 6.2 branch? Seems this is affecting a bunch of folks.

[rjmccall]

#84811 strengthens this verifier rule, causing it to fire in more situations. It is not a fix for the actual bug, which is apparently that something in SILGen is messing up scopes.

[rjmccall]

Maybe I didn't need to reopen this if it's passing on main, but the stated PR is definitely not what fixed it.

[czechboy0]

So I'm not sure if this is fixed on main, at least on this PR trying to add Windows support to Swift Configuration, it's failing on all of: 6.2, 6.2-nightly, main-nightly Windows toolchains

apple/swift-configuration#69