Advanced const propagation for structs

[Dicebot via Digitalmars-d]

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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: OpenPGP digital signature
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20161017/cd728800/attachment.sig>