On Sunday, 16 October 2016 at 08:36:17 UTC, Ilya Yaroshenko wrote:

Extern precompiled Mir GLAS requires additional API changes.
Reduced example:

struct S(T)
  size_t len;
  T ptr;

auto foo(S!(const(double)*) sl)

S!(double*) a;
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?

Reply via email to