On Friday, 9 September 2016 at 07:56:04 UTC, Stefan Koch wrote:
I was thinking on adding "opaque" attribute for template arguments
to force template to forget some information about type.
E.g if you use
class A(opaque T) {...}
you can use only pointers/references to T.
Probably compiler could determine it by itself is type used
as opaque or not.
