We need a typesystem-sanctioned way to cast qualifiers away

[Daniel N via Digitalmars-d]

On Saturday, 20 June 2015 at 00:07:12 UTC, Andrei Alexandrescu 
wrote:
> Again, the reference to IAllocator must be unqualified even 
> inside an otherwise qualified object.
>
no love for a container factory?

struct IAllocator{}
struct container(T){}

template factory(T)
{
   struct factory
   {
     T          contain; // potentially const
     IAllocator mutable;

     alias contain this;
   }
}

auto c = factory!(const container!uint)();