// RUN: %target-typecheck-verify-swift

_ = 1