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
Can you find a link to that post? I don't remember anything like that.