Switching on unqualified enum case in closure with self capture crashes compiler #80657
Description
This hits an AST verification error, and crashes in SILGen if you disable the verifier:
enum E { case e static func foo() { _ = { [self] in switch e { case e: break default: break } } } }VarDecl is missing a Generic Environment: <<error type>> Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace. Stack dump: 0. Program arguments: /Users/hamish/src/swift-dev/build/Release/swift-macosx-arm64/bin/swift-frontend -typecheck /Users/hamish/src/swift-test-arena/main.swift -sdk /Users/hamish/src/MacOSX.sdk -debug-diagnostic-names -diagnostic-style=llvm 1. Swift version 6.2-dev (LLVM b50d46753102412, Swift 5674b6e047b7b96) 2. Compiling with effective version 5.10 3. While walking into 'E' (at /Users/hamish/src/swift-test-arena/main.swift:930:1) 4. While walking into body of 'foo()' (at /Users/hamish/src/swift-test-arena/main.swift:933:3) 5. While verifying VarDecl 'self' (at /Users/hamish/src/swift-test-arena/main.swift:934:12) Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it): 0 swift-frontend 0x000000010a6fbed4 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56 1 swift-frontend 0x000000010a6fa1f0 llvm::sys::RunSignalHandlers() + 112 2 swift-frontend 0x000000010a6fc550 SignalHandler(int, __siginfo*, void*) + 324 3 libsystem_platform.dylib 0x000000018677b624 _sigtramp + 56 4 libsystem_pthread.dylib 0x000000018674188c pthread_kill + 296 5 libsystem_c.dylib 0x000000018664ac60 abort + 124 6 swift-frontend 0x000000010a778618 (anonymous namespace)::Verifier::verifyChecked(swift::AbstractStorageDecl*) (.cold.2) + 0 7 swift-frontend 0x000000010600b5b0 (anonymous namespace)::Verifier::verifyChecked(swift::VarDecl*) + 736 8 swift-frontend 0x0000000105fff0b0 (anonymous namespace)::Verifier::walkToDeclPost(swift::Decl*) + 2660 9 swift-frontend 0x000000010600cdcc (anonymous namespace)::Traversal::doIt(swift::Decl*) + 308 10 swift-frontend 0x000000010600ebdc swift::Pattern* llvm::function_ref<swift::Pattern* (swift::Pattern*)>::callback_fn<(anonymous namespace)::Traversal::doIt(swift::Pattern*)::'lambda'(swift::Pattern*)>(long, swift::Pattern*) + 376 11 swift-frontend 0x000000010600e178 swift::Pattern* (anonymous namespace)::Traversal::traverse<swift::Pattern>(swift::ASTWalker::PreWalkResult<swift::Pattern*>, llvm::function_ref<swift::Pattern* (swift::Pattern*)>, llvm::function_ref<swift::ASTWalker::PostWalkResult<swift::Pattern*> (swift::Pattern*)>) + 84 12 swift-frontend 0x000000010600fd0c (anonymous namespace)::Traversal::visit(swift::Decl*) + 2436 13 swift-frontend 0x000000010600cdb4 (anonymous namespace)::Traversal::doIt(swift::Decl*) + 284 14 swift-frontend 0x000000010600d300 (anonymous namespace)::Traversal::visitCaptureListExpr(swift::CaptureListExpr*) + 56 15 swift-frontend 0x000000010600c4e0 (anonymous namespace)::Traversal::doIt(swift::Expr*) + 372 16 swift-frontend 0x000000010600d8e4 (anonymous namespace)::Traversal::visitAssignExpr(swift::AssignExpr*) + 60 17 swift-frontend 0x000000010600c5c8 (anonymous namespace)::Traversal::doIt(swift::Expr*) + 604 18 swift-frontend 0x000000010600e350 swift::Stmt* llvm::function_ref<swift::Stmt* (swift::Stmt*)>::callback_fn<(anonymous namespace)::Traversal::doIt(swift::Stmt*)::'lambda'(swift::Stmt*)>(long, swift::Stmt*) + 372 19 swift-frontend 0x000000010600e178 swift::Pattern* (anonymous namespace)::Traversal::traverse<swift::Pattern>(swift::ASTWalker::PreWalkResult<swift::Pattern*>, llvm::function_ref<swift::Pattern* (swift::Pattern*)>, llvm::function_ref<swift::ASTWalker::PostWalkResult<swift::Pattern*> (swift::Pattern*)>) + 84 20 swift-frontend 0x00000001060106b0 (anonymous namespace)::Traversal::visitAbstractFunctionDecl(swift::AbstractFunctionDecl*) + 656 21 swift-frontend 0x000000010600f414 (anonymous namespace)::Traversal::visit(swift::Decl*) + 140 22 swift-frontend 0x000000010600cdb4 (anonymous namespace)::Traversal::doIt(swift::Decl*) + 284 23 swift-frontend 0x00000001060102c8 (anonymous namespace)::Traversal::visitNominalTypeDecl(swift::NominalTypeDecl*) + 460 24 swift-frontend 0x000000010600f404 (anonymous namespace)::Traversal::visit(swift::Decl*) + 124 25 swift-frontend 0x000000010600cdb4 (anonymous namespace)::Traversal::doIt(swift::Decl*) + 284 26 swift-frontend 0x000000010600cc8c swift::Decl::walk(swift::ASTWalker&) + 32 27 swift-frontend 0x00000001061b6b88 swift::SourceFile::walk(swift::ASTWalker&) + 172 28 swift-frontend 0x0000000105ffc0ac swift::verify(swift::SourceFile&) + 80 29 swift-frontend 0x00000001062be93c swift::TypeCheckPrimaryFileRequest::cacheResult(std::__1::tuple<>) const + 76 30 swift-frontend 0x0000000105d94e48 swift::performTypeChecking(swift::SourceFile&) + 92 31 swift-frontend 0x0000000104dc85f8 bool llvm::function_ref<bool (swift::SourceFile&)>::callback_fn<swift::CompilerInstance::performSema()::$_0>(long, swift::SourceFile&) + 16 32 swift-frontend 0x0000000104dbf9c8 swift::CompilerInstance::forEachFileToTypeCheck(llvm::function_ref<bool (swift::SourceFile&)>) + 164 33 swift-frontend 0x0000000104dbf904 swift::CompilerInstance::performSema() + 76 34 swift-frontend 0x0000000104b82274 withSemanticAnalysis(swift::CompilerInstance&, swift::FrontendObserver*, llvm::function_ref<bool (swift::CompilerInstance&)>, bool) + 60 35 swift-frontend 0x0000000104b77c68 performCompile(swift::CompilerInstance&, int&, swift::FrontendObserver*) + 700 36 swift-frontend 0x0000000104b7745c swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) + 2252 37 swift-frontend 0x0000000104959878 swift::mainEntry(int, char const**) + 3112 38 dyld 0x00000001863a2b4c start + 6000 fish: Job 1, './swift -frontend -typecheck ~/…' terminated by signal SIGABRT (Abort)