Property definition has inferred type 'some Proto', involving the 'some' return type of another declaration #73661
Closed as not planned
Description
Description
This looks similar to #69241.
struct S1 {
let w1 = Wrapper(getProto())
// Error: Property definition has inferred type 'Wrapper<some Proto>', involving the 'some' return type of another declaration
let w2 = Wrapper(value)
// Error: Property definition has inferred type 'Wrapper<some Proto>', involving the 'some' return type of another declaration
}Reproduction
protocol Proto {}
struct Concrete: Proto {}
func getProto() -> some Proto { Concrete() }
let value = getProto()
struct Wrapper<P: Proto> {
let value: P
init(_ wrappedValue: P) {
self.value = wrappedValue
}
var wrappedValue: P {
self.value
}
}
let w1 = Wrapper(getProto())
let w2 = Wrapper(value)
struct S1 {
let w1 = Wrapper(getProto())
// Error: Property definition has inferred type 'Wrapper<some Proto>', involving the 'some' return type of another declaration
let w2 = Wrapper(value)
// Error: Property definition has inferred type 'Wrapper<some Proto>', involving the 'some' return type of another declaration
}Expected behavior
Compiles with no errors.
Environment
Apple Swift version 5.10 (swiftlang-5.10.0.13 clang-1500.3.9.4)
Apple Swift version 6.0-dev (LLVM 5b202efbc95a8bf, Swift a17d360d1cc66ab)
Apple Swift version 6.0-dev (LLVM 3417addab6ff197, Swift d677b7c23fd6355)
Additional information
No response