Advanced const propagation for structs

[Timon Gehr via Digitalmars-d]

On 17.10.2016 05:29, Dicebot wrote:
> On 10/17/2016 12:57 AM, Timon Gehr wrote:
>> On 16.10.2016 14:18, Dicebot wrote:
>>> This issue has been discussed before in context of custom containers and
>>> AFAIK so far no one was able to come up with even theoretical concept of
>>> how it can be possibly addressed.
>>
>> Actually, I did propose a solution before. Just allow annotations on
>> template type parameters (to enable the new implicit upcasts) and check
>> for binary compatibility of the respective template instances during
>> implicit conversion.
>
> Can you find a link to that post? I don't remember anything like that.
>


forum.dlang.org/post/lkfkel$2avp$1 at digitalmars.com
forum.dlang.org/post/ljrt6t$2fpc$1 at digitalmars.com
forum.dlang.org/post/ljt0mc$cto$1 at digitalmars.com