// RUN: not %target-swift-frontend -typecheck  %s

public struct {
    @UserDefault()
    public static var region: String
}

@propertyWrapper
public struct UserDefault {
    init() {}
    public var wrappedValue: String
}

Add test case for SR-15497
[Sema] Add test case for SR-15497

SR-15497 is no longer happening in the stress tester. Add its test case to the test suite.

rdar://85602946
