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.

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to