init_accessors.swift

// RUN: %empty-directory(%t)
// RUN: %empty-directory(%t/src)
// RUN: %empty-directory(%t/sdk)
// RUN: split-file %s %t/src

// RUN: %target-swift-frontend -emit-module %t/src/PublicModule.swift \
// RUN: -module-name PublicModule -swift-version 5 \
// RUN: -emit-module-path %t/sdk/PublicModule.swiftmodule

// RUN: %target-swift-frontend -typecheck %t/src/Client.swift \
// RUN: -module-name Client -I %t/sdk

//--- PublicModule.swift
publicstructTest<T>{
privatevar_x:T

publicvarx:T{
@storageRestrictions(initializes: _x)
 init {
 _x = newValue
}

get{ _x }
set{ _x = newValue }
}

publicinit(data:T){
self.x = data
}
}

publicstructTestMulti<T, U>{
privatevar_a:T
privatevar_c:U

publicvarb:Int

publicvardata:(T,U){
@storageRestrictions(initializes: _a, _c, accesses: b)
 init {
 _a = newValue.0
 _c = newValue.1
 b =0
}

get{(_a, _c)}
}

publicinit(data:(T,U), b:Int){
self.b = b
self.data = data
}
}

//--- Client.swift
import PublicModule

lettest1=Test<[Int]>(data:[1,2,3])
_ = test1.x

lettest2=TestMulti(data:("Question",42), b:-1)
_ =print("\(test2.data), \(test2.b)")