On Sunday, 16 October 2016 at 08:36:17 UTC, Ilya Yaroshenko wrote:
Extern precompiled Mir GLAS requires additional API changes.
auto foo(S!(const(double)*) sl)
const S!(double*) b;
foo(a); // fails
foo(b); // fails
Is there a way to say "the constness (and/or immutability) of
this type is dependent on the type of a template parameter". i.e.
signal that const A!B is interchangeable with A!(const B) and
const A!(const B)?
If not does it make sense to add this?