mirror of
https://github.com/apple/swift.git
synced 2026-10-30 22:15:52 +01:00
Artem Chikin
27a02602b9
A `let` binding declared `public`, `package`, or `open` participates in its module's ABI surface as a symbol — clients link against the declaration, not against its value, so the author is free to change the value in a future release. Folding such a reference in a literal expression would risk "baking" a module-private value into client code and remove the author's room to evolve the binding. Reject these references with a new diagnostic that reports the offending access level. `internal`, `fileprivate`, and `private` bindings continue to fold, as do Clang-imported constants.
26 lines
1.3 KiB
Swift
26 lines
1.3 KiB
Swift
// Constant globals using @section initialized with literal expressions with simple variable references
|
|
// REQUIRES: swift_feature_LiteralExpressions
|
|
|
|
// RUN: %empty-directory(%t/deps)
|
|
// RUN: %target-swift-frontend -typecheck %s -enable-experimental-feature LiteralExpressions -verify
|
|
|
|
// This declaration is not itself declared to be a constant value
|
|
// but is referenced from one. Upon emitting a failure to constant fold, ensure
|
|
// we emit a note with a location of the declaration reference in a literal expression.
|
|
let foo: Int32 = 42 + Int32.random(in: 0..<10)
|
|
// expected-error@-1 {{not supported in a literal expression}}
|
|
@section("mysection") let bar: Int32 = 1 + foo
|
|
// expected-note@-1 {{requested from reference in a literal expression}}
|
|
|
|
// Currently, only the first encountered reference to a non-const non-constant-foldable
|
|
// declaration will result in a note, and subsequent encounters will emit a general failure
|
|
// to resolve the reference to a value
|
|
@section("mysection") let baz: Int32 = 1 + foo
|
|
// expected-error@-1 {{unable to resolve variable reference in a literal expression}}
|
|
|
|
// Publicly visible `let` bindings can't appear in a literal expression.
|
|
public let publicConstant: Int32 = 7
|
|
@section("mysection") let qux: Int32 = 1 + publicConstant
|
|
// expected-error@-1 {{reference to a public 'let' binding is not permitted in a literal expression}}
|
|
|