https://issues.dlang.org/show_bug.cgi?id=24587
RazvanN <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #1 from RazvanN <[email protected]> --- I don't find this very useful. It seems that we are complicating the type system only to obtain something that is actually more confusing. cast() is used to drop all qualifiers whereas if you want to keep some of them you can just cast to the appropriate combination of qualifiers (i.e. cast(const shared)). That way you know exactly what the type is at the cast site, whereas introducing the possibility to negate a single qualifier makes it ambiguous with regards to what the type at the cast site is. Also, can you provide a concrete code example where this is useful? It seems to me that this is a theoretical proposal without any actual practical usefulness. --
