| // RUN: %empty-directory(%t) | |
| // RUN: %target-swift-frontend -emit-module -o %t %s -module-name Test | |
| // RUN: llvm-bcanalyzer %t/Test.swiftmodule | %FileCheck %s | |
| // RUN: cp %s %t/main.swift | |
| // RUN: %target-swift-frontend -typecheck -verify %t/main.swift -primary-file %S/Inputs/top-level-code-other.swift | |
| // CHECK-NOT: UnknownCode | |
| let a: Int? = 1 // expected-note {{'a' declared here}} | |
| guard let b = a else { | |
| fatalError() | |
| } |