[Pitch] Property delegate composability, backing storage, and $

[Douglas_Gregor]

@DevAndArtist

Am I right that the nesting property delegate type would require it's value to have a generic type, while the most nested property delegate can be non-generic?

Yes, that's correct.

@DevAndArtist

Also can I just write this instead and expect the compiler to traverse all nested property delegates to find the most nested value of type Int ?

@C<B<IntDelegate>, String> var foo: Int

I suppose we could do that, checking whether the type of each value returned is itself a property delegate type. It feels a lot less intentional that writing out the two types separately.

Doug